From ad40254121ef856baecf33ce0a104f2ee6974d23 Mon Sep 17 00:00:00 2001 From: "Kim F. Storm" Date: Wed, 11 Oct 1995 14:44:16 +0000 Subject: [PATCH] Call make-doc.exe instead of make-docfile. --- msdos/sed1.inp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/msdos/sed1.inp b/msdos/sed1.inp index 962063e2e02..cecbe2d313c 100644 --- a/msdos/sed1.inp +++ b/msdos/sed1.inp @@ -18,7 +18,7 @@ s!/bin/sh!command.com! /^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// -- 2.39.2