# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 813422656 0
# Node ID af414e79297771c5c0ccd7b7af030a7b5dfc17a5
# Parent  86fef98acedc6bdc44ea3278e9b35140787c628b
Call make-doc.exe instead of make-docfile.

diff -r 86fef98acedc -r af414e792977 msdos/sed1.inp
--- 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//