diff options
| author | Richard M. Stallman | 1996-04-15 21:02:54 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1996-04-15 21:02:54 +0000 |
| commit | bbcbfd687af997c9c3d3403a77192d7943857afb (patch) | |
| tree | e4b1d146b0bd95ba91dc418e263deec57ee4970a /msdos | |
| parent | 1861b214270c9c0d2639c19db9fcc967c55ac438 (diff) | |
| download | emacs-bbcbfd687af997c9c3d3403a77192d7943857afb.tar.gz emacs-bbcbfd687af997c9c3d3403a77192d7943857afb.zip | |
Change make-docfile to make-doc.exe in a second place.
Diffstat (limited to 'msdos')
| -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! | |||
| 19 | /^S_FILE *=/s!@[^@\n]*@!s/msdos.h! | 19 | /^S_FILE *=/s!@[^@\n]*@!s/msdos.h! |
| 20 | /^@SET_MAKE@$/s/@SET_MAKE@// | 20 | /^@SET_MAKE@$/s/@SET_MAKE@// |
| 21 | /^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC! | 21 | /^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC! |
| 22 | /^.\${libsrc}make-docfile.*-a/s!make-docfile!make-doc.exe! | ||
| 22 | /^.\${libsrc}make-doc/s!>.*$!! | 23 | /^.\${libsrc}make-doc/s!>.*$!! |
| 23 | /^[ ]*$/d | 24 | /^[ ]*$/d |
| 24 | /^temacs:/s/prefix-args// | 25 | /^temacs:/s/prefix-args// |