changeset 15026:8c1f6839aff9

Change make-docfile to make-doc.exe in a second place.
author Richard M. Stallman <rms@gnu.org>
date Mon, 15 Apr 1996 21:02:54 +0000
parents e5f54fd1c352
children 30c4f64f3579
files msdos/sed1.inp
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/msdos/sed1.inp	Mon Apr 15 19:12:01 1996 +0000
+++ b/msdos/sed1.inp	Mon Apr 15 21:02:54 1996 +0000
@@ -19,6 +19,7 @@
 /^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//