# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 753138755 0
# Node ID f052db139432f8485bd5bc88478f7257a572b46f
# Parent  31b1545319dc4a4527948deb2c6fde7e3a953367
(read_c_string): For "", concatenate the two strings.

diff -r 31b1545319dc -r f052db139432 lib-src/make-docfile.c
--- a/lib-src/make-docfile.c	Fri Nov 12 20:38:30 1993 +0000
+++ b/lib-src/make-docfile.c	Fri Nov 12 21:12:35 1993 +0000
@@ -127,10 +127,7 @@
       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);
     }