summaryrefslogtreecommitdiff
path: root/msdos/sed1.inp
diff options
context:
space:
mode:
authorRichard M. Stallman <rms@gnu.org>1996-04-15 21:02:54 +0000
committerRichard M. Stallman <rms@gnu.org>1996-04-15 21:02:54 +0000
commitad8e370da4c60513c3ecab44e62fec16773073b2 (patch)
treefe10c5277d0f99cf9eed6b9f4d699a649ff7ef1b /msdos/sed1.inp
parent55f4a6236463edf0f42febf50cecb443989666bf (diff)
downloademacs-ad8e370da4c60513c3ecab44e62fec16773073b2.tar.gz
Change make-docfile to make-doc.exe in a second place.
Diffstat (limited to 'msdos/sed1.inp')
-rw-r--r--msdos/sed1.inp1
1 files changed, 1 insertions, 0 deletions
diff --git a/msdos/sed1.inp b/msdos/sed1.inp
index cecbe2d313c..65e4f957132 100644
--- a/msdos/sed1.inp
+++ b/msdos/sed1.inp
@@ -19,6 +19,7 @@ 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!>.*$!!
/^[ ]*$/d
/^temacs:/s/prefix-args//