changeset 13176:af414e792977

Call make-doc.exe instead of make-docfile.
author Kim F. Storm <storm@cua.dk>
date Wed, 11 Oct 1995 14:44:16 +0000
parents 86fef98acedc
children 439506fa922e
files msdos/sed1.inp
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/msdos/sed1.inp	Wed Oct 11 14:41:55 1995 +0000
+++ b/msdos/sed1.inp	Wed Oct 11 14:44:16 1995 +0000
@@ -18,7 +18,7 @@
 /^M_FILE *=/s!@[^@\n]*@!m/intel386.h!
 /^S_FILE *=/s!@[^@\n]*@!s/msdos.h!
 /^@SET_MAKE@$/s/@SET_MAKE@//
-/^.\${libsrc}make-docfile.*>/s!make-docfile!make-docfile -o ../etc/DOC!
+/^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC!
 /^.\${libsrc}make-doc/s!>.*$!!
 /^[ 	]*$/d
 /^temacs:/s/prefix-args//