From bbcbfd687af997c9c3d3403a77192d7943857afb Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Mon, 15 Apr 1996 21:02:54 +0000 Subject: [PATCH] Change make-docfile to make-doc.exe in a second place. --- msdos/sed1.inp | 1 + 1 file changed, 1 insertion(+) 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! /^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// -- 2.39.2