Commit 092191c6 authored by Richard M. Stallman's avatar Richard M. Stallman
Browse files

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.
parent a5dfed3e
# -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!/bin/sh!command.com!
/^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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment