diff options
Diffstat (limited to 'msdos/sed1.inp')
| -rw-r--r-- | msdos/sed1.inp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/msdos/sed1.inp b/msdos/sed1.inp index a9490f669f1..962063e2e02 100644 --- a/msdos/sed1.inp +++ b/msdos/sed1.inp @@ -20,7 +20,6 @@ s!/bin/sh!command.com! /^@SET_MAKE@$/s/@SET_MAKE@// /^.\${libsrc}make-docfile.*>/s!make-docfile!make-docfile -o ../etc/DOC! /^.\${libsrc}make-doc/s!>.*$!! -/^.\${libsrc}make-docfile/s/\$/go32 $/ /^[ ]*$/d /^temacs:/s/prefix-args// /^ #/d |