1 files changed, 1 insertions, 4 deletions

diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c
index 2fb9af0849f..1308f6c8ed8 100644
--- a/lib-src/make-docfile.c
+++ b/lib-src/make-docfile.c
@@ -127,10 +127,7 @@ read_c_string (infile, printflag)
       c = getc (infile);
       if (c != '"')
         break;
-      if (printflag > 0)
-        putc (c, outfile);
-      else if (printflag < 0)
-        *p++ = c;
+      /* If we had a "", concatenate the two strings.  */
       c = getc (infile);
     }