diff options
| author | Richard M. Stallman <rms@gnu.org> | 1996-04-15 21:02:54 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1996-04-15 21:02:54 +0000 |
| commit | ad8e370da4c60513c3ecab44e62fec16773073b2 (patch) | |
| tree | fe10c5277d0f99cf9eed6b9f4d699a649ff7ef1b /msdos/sed1.inp | |
| parent | 55f4a6236463edf0f42febf50cecb443989666bf (diff) | |
| download | emacs-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.inp | 1 |
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// |