# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 829766238 0
# Node ID 88d5940d524ea74a280bd75dc39ea5201ef83071
# Parent  04f81516b6e050746bf1588f30e2a9c4a561f751
Replace `make-docfile' with `make-doc.exe'.  In case
src/Makefile needs to rebuild `make-doc.exe', use one command per line.
Undo the previous change.

diff -r 04f81516b6e0 -r 88d5940d524e msdos/sed1.inp
--- a/msdos/sed1.inp	Wed Apr 17 17:30:51 1996 +0000
+++ b/msdos/sed1.inp	Wed Apr 17 18:37:18 1996 +0000
@@ -1,6 +1,10 @@
 # -sed1.inp-------------------------------------------------------------
 # Configuration script for src/makefile
 # ----------------------------------------------------------------------
+#
+# In case src/Makefile needs to rebuild `make-doc.exe' (might happen under
+# Win95), make sure it gets built with commands that DOS
+# understands (one command per line).
 s/^#.*//
 s/^[ \f\t][ \f\t]*$//
 s/^ /	/
@@ -19,8 +23,16 @@
 /^S_FILE *=/s!@[^@\n]*@!s/msdos.h!
 /^@SET_MAKE@$/s/@SET_MAKE@//
 /^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC!
-/^.\${libsrc}make-docfile.*-a/s!make-docfile!make-doc.exe!
 /^.\${libsrc}make-doc/s!>.*$!!
+/^\${libsrc}make-docfile:/c\
+${libsrc}make-doc.exe:\
+	cd ..\
+	cd lib-src\
+	$(MAKE) ${MFLAGS} make-docfile -W make-docfile.c\
+	cd ..\
+	cd src
+/^	cd \${libsrc}; \${MAKE} \${MFLAGS} make-docfile/d
+/\${libsrc}make-docfile/s/-docfile[ 	]/-doc.exe /
 /^[ 	]*$/d
 /^temacs:/s/prefix-args//
 /^	#/d