diff options
| author | Richard M. Stallman <rms@gnu.org> | 1996-04-17 18:37:18 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1996-04-17 18:37:18 +0000 |
| commit | c5de9dc982683361160f3dbf7f3349b1f65a3613 (patch) | |
| tree | 54c3f54a7c60398c500e20a46fa3b4b3eb823d98 | |
| parent | a80e89f419ff407bacd22b6a5c19214a8d165b9a (diff) | |
| download | emacs-c5de9dc982683361160f3dbf7f3349b1f65a3613.tar.gz | |
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.
| -rw-r--r-- | msdos/sed1.inp | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/msdos/sed1.inp b/msdos/sed1.inp index 65e4f957132..6563d0e1228 100644 --- a/msdos/sed1.inp +++ b/msdos/sed1.inp @@ -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!/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 |