Change make-docfile to make-doc.exe in a second place.
This commit is contained in:
parent
1861b21427
commit
bbcbfd687a
1 changed files with 1 additions and 0 deletions
|
@ -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//
|
||||
|
|
Loading…
Add table
Reference in a new issue