diff options
Diffstat (limited to 'msdos')
| -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:\ /\${libsrc}make-docfile/s/-docfile[ ]/-doc.exe / /^[ ]*$/d /^temacs:/s/prefix-args// +/^temacs:/s/stamp-oldxmenu// /^ #/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/ /^.\${libsrc}make-doc/s!>.*$!! /^[ ]*$/d /^temacs:/s/prefix-args// +/^temacs:/s/stamp-oldxmenu// /^ #/d |