diff options
| -rw-r--r-- | lib-src/make-docfile.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c index 9796db4ede0..fb371db710f 100644 --- a/lib-src/make-docfile.c +++ b/lib-src/make-docfile.c @@ -246,7 +246,8 @@ read_c_string_or_comment (infile, printflag, comment) c = getc (infile); } - c = getc (infile); + if (c != EOF) + c = getc (infile); if (comment) { @@ -255,6 +256,11 @@ read_c_string_or_comment (infile, printflag, comment) c = getc (infile); break; } + + if (printflag > 0) + putc ('*', outfile); + else if (printflag < 0) + *p++ = '*'; } else { |