diff options
Diffstat (limited to 'lib-src/make-docfile.c')
| -rw-r--r-- | lib-src/make-docfile.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c index 68e5279fd15..8fa70dd430e 100644 --- a/lib-src/make-docfile.c +++ b/lib-src/make-docfile.c | |||
| @@ -1090,8 +1090,7 @@ search_lisp_doc_at_eol (FILE *infile) | |||
| 1090 | if (c2 != '"' || c1 != '\\') | 1090 | if (c2 != '"' || c1 != '\\') |
| 1091 | { | 1091 | { |
| 1092 | #ifdef DEBUG | 1092 | #ifdef DEBUG |
| 1093 | fprintf (stderr, "## non-docstring in %s (%s)\n", | 1093 | fprintf (stderr, "## non-docstring found\n"); |
| 1094 | buffer, filename); | ||
| 1095 | #endif | 1094 | #endif |
| 1096 | if (c != EOF) | 1095 | if (c != EOF) |
| 1097 | ungetc (c, infile); | 1096 | ungetc (c, infile); |