+2012-06-08 Andreas Schwab <schwab@linux-m68k.org>
+
+ * make-docfile.c (search_lisp_doc_at_eol): Unget last read
+ character.
+
2012-06-06 Glenn Morris <rgm@gnu.org>
* Makefile.in (STAMP_INST_SCRIPTS, STAMP_SCRIPTS, insrcdir)
char c = 0, c1 = 0, c2 = 0;
/* Skip until the end of line; remember two previous chars. */
- while (c != '\n' && c != '\r' && c >= 0)
+ while (c != '\n' && c != '\r' && c != EOF)
{
c2 = c1;
c1 = c;
fprintf (stderr, "## non-docstring in %s (%s)\n",
buffer, filename);
#endif
+ if (c != EOF)
+ ungetc (c, infile);
return 0;
}
return 1;