# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1062079692 0
# Node ID 76e8f941998ac31252f01d26cdb2f76bd3ef0f18
# Parent  51c753fc4fc80720090b7ea9c475a1d8e0a80871
(elisp.dvi, index.texi): Replace Unix shell commands with equivalent
COMMAND.COM commands.

diff -r 51c753fc4fc8 -r 76e8f941998a msdos/sed6.inp
--- a/msdos/sed6.inp	Thu Aug 28 08:19:07 2003 +0000
+++ b/msdos/sed6.inp	Thu Aug 28 14:08:12 2003 +0000
@@ -27,3 +27,15 @@
 texinputdir =\
 export texinputdir := $(srcdir)";"$(TEXINPUTS)
 /^SHELL *=/s/^/# /
+/^elisp.dvi:/,/^$/ {
+  /^	 *if \[ *\a${permuted_index}/,/^	 *fi *$/c\
+	command.com /c 'if not a${permuted_index}==a sh ./permute-index' \
+	command.com /c 'if not a${permuted_index}==a mv permuted.fns elisp.fns' \
+	command.com /c 'if not a${permuted_index}==a texindex elisp.tp' \
+	command.com /c 'if a${permuted_index}==a texindex elisp.??'
+}
+/^index.texi:/,/^$/ {
+  /^	 *if \[ *\a${permuted_index}/,/^	 *fi *$/c\
+	command.com /c 'if not a${permuted_index}==a cp -p ./index.perm index.texi' \
+	command.com /c 'if a${permuted_index}==a cp -p ./index.unperm index.texi'
+}