1 files changed, 1 insertions, 0 deletions
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//

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!
19	/^S_FILE =/s!@[^@\n]@!s/msdos.h!	19	/^S_FILE =/s!@[^@\n]@!s/msdos.h!
20	/^@SET_MAKE@$/s/@SET_MAKE@//	20	/^@SET_MAKE@$/s/@SET_MAKE@//
21	/^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC!	21	/^.\${libsrc}make-docfile.*>/s!make-docfile!make-doc.exe -o ../etc/DOC!
		22	/^.\${libsrc}make-docfile.*-a/s!make-docfile!make-doc.exe!
22	/^.\${libsrc}make-doc/s!>.*$!!	23	/^.\${libsrc}make-doc/s!>.*$!!
23	/^[ ]*$/d	24	/^[ ]*$/d
24	/^temacs:/s/prefix-args//	25	/^temacs:/s/prefix-args//