From: Richard M. Stallman <rms@gnu.org>
Date: Mon, 15 Apr 1996 21:02:54 +0000 (+0000)
Subject: Change make-docfile to make-doc.exe in a second place.
X-Git-Tag: emacs-19.34~835
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=bbcbfd687af997c9c3d3403a77192d7943857afb;p=emacs.git

Change make-docfile to make-doc.exe in a second place.
---

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//