diff options
| -rw-r--r-- | msdos/sed1.inp | 1 | ||||
| -rw-r--r-- | msdos/sed1v2.inp | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/msdos/sed1.inp b/msdos/sed1.inp index c40d6cac4ea..4a265977bc8 100644 --- a/msdos/sed1.inp +++ b/msdos/sed1.inp | |||
| @@ -35,4 +35,5 @@ ${libsrc}make-doc.exe:\ | |||
| 35 | /\${libsrc}make-docfile/s/-docfile[ ]/-doc.exe / | 35 | /\${libsrc}make-docfile/s/-docfile[ ]/-doc.exe / |
| 36 | /^[ ]*$/d | 36 | /^[ ]*$/d |
| 37 | /^temacs:/s/prefix-args// | 37 | /^temacs:/s/prefix-args// |
| 38 | /^temacs:/s/stamp-oldxmenu// | ||
| 38 | /^ #/d | 39 | /^ #/d |
diff --git a/msdos/sed1v2.inp b/msdos/sed1v2.inp index f7c127b29e6..637030c4fd2 100644 --- a/msdos/sed1v2.inp +++ b/msdos/sed1v2.inp | |||
| @@ -22,4 +22,5 @@ s/\.h\.in/.h-in/ | |||
| 22 | /^.\${libsrc}make-doc/s!>.*$!! | 22 | /^.\${libsrc}make-doc/s!>.*$!! |
| 23 | /^[ ]*$/d | 23 | /^[ ]*$/d |
| 24 | /^temacs:/s/prefix-args// | 24 | /^temacs:/s/prefix-args// |
| 25 | /^temacs:/s/stamp-oldxmenu// | ||
| 25 | /^ #/d | 26 | /^ #/d |