diff options
Diffstat (limited to 'msdos/sed6.inp')
-rw-r--r-- | msdos/sed6.inp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/msdos/sed6.inp b/msdos/sed6.inp index 0425278c34d..686d3aa92ae 100644 --- a/msdos/sed6.inp +++ b/msdos/sed6.inp @@ -39,3 +39,5 @@ export texinputdir := $(srcdir)";"$(TEXINPUTS) 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' } + +# arch-tag: defe1001-f35a-47f7-9635-3f5d33ee5e97 |