# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 786046122 0
# Node ID 42b9a0dbdb63406fcaac9f792bb7c38ccbbc02c1
# Parent  ee5e9fbcd051fa4f862140ed02ace873c372052f
Fix erroneous comment syntax.

diff -r ee5e9fbcd051 -r 42b9a0dbdb63 src/Makefile.in
--- a/src/Makefile.in	Mon Nov 28 18:03:04 1994 +0000
+++ b/src/Makefile.in	Mon Nov 28 18:08:42 1994 +0000
@@ -644,8 +644,8 @@
 #endif /* ! defined (HAVE_SHM) */
 #endif /* ! defined (CANNOT_DUMP) */
 
-# We run make-docfile twice because the command line may get too long
-# on some systems.
+/* We run make-docfile twice because the command line may get too long
+   on some systems.  */
 ${etc}DOC: ${libsrc}make-docfile ${obj} ${lisp}
 	-rm -f ${etc}DOC
 	${libsrc}make-docfile -d ${srcdir} ${obj} ${SOME_MACHINE_OBJECTS} > ${etc}DOC