# -sed1.inp-------------------------------------------------------------
# Configuration script for src/makefile
# ----------------------------------------------------------------------
+#
+# In case src/Makefile needs to rebuild `make-doc.exe' (might happen under
+# Windows 95), make sure it gets built with commands that DOS
+# understands (one command per line).
s/^#.*//
s/^[ \f\t][ \f\t]*$//
s/^ / /
/^M_FILE *=/s!@[^@\n]*@!m/intel386.h!
/^S_FILE *=/s!@[^@\n]*@!s/msdos.h!
/^@SET_MAKE@$/s/@SET_MAKE@//
-/^.\${libsrc}make-docfile.*>/s!make-docfile!make-docfile -o ../etc/DOC!
+/^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC!
/^.\${libsrc}make-doc/s!>.*$!!
-/^.\${libsrc}make-docfile/s/\$/go32 $/
+/^\${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 /
/^[\f ]*$/d
/^temacs:/s/prefix-args//
+/^temacs:/s/stamp-oldxmenu//
/^ #/d