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
         {