diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2003-08-28 14:08:12 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2003-08-28 14:08:12 +0000 |
| commit | e3b13ffb974f38519057efcac5716c17bbd407ca (patch) | |
| tree | 2d6d3173bb7a14d248e0bc371b7969c0c4ee84f4 /msdos | |
| parent | 2e50b936ac638fb23385afeec095d71501336b99 (diff) | |
| download | emacs-e3b13ffb974f38519057efcac5716c17bbd407ca.tar.gz | |
(elisp.dvi, index.texi): Replace Unix shell commands with equivalent
COMMAND.COM commands.
Diffstat (limited to 'msdos')
| -rw-r--r-- | msdos/sed6.inp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/msdos/sed6.inp b/msdos/sed6.inp index eb82598bf5e..0425278c34d 100644 --- a/msdos/sed6.inp +++ b/msdos/sed6.inp @@ -27,3 +27,15 @@ export MAKEINFO := $(MAKEINFO) -I$(srcdir) 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' +} |