diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2001-10-15 10:04:31 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2001-10-15 10:04:31 +0000 |
| commit | 7dfd439c45151c5c0d7045465a783b9310ffba69 (patch) | |
| tree | b96e3990e76766f14107337ca2fd2e20b99c66b7 /lib-src/make-docfile.c | |
| parent | 56378db4a0c3efc8b442e42bd2cab56590374622 (diff) | |
(read_c_string_or_comment): Don't drop a '*'
in a C doc comment.
Diffstat (limited to 'lib-src/make-docfile.c')
| -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 9796db4ede..fb371db710 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 { |