diff options
Diffstat (limited to 'msdos/sed1.inp')
| -rw-r--r-- | msdos/sed1.inp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/msdos/sed1.inp b/msdos/sed1.inp index 67257d9c9fe..b7b205a19e2 100644 --- a/msdos/sed1.inp +++ b/msdos/sed1.inp @@ -52,6 +52,7 @@ ${libsrc}make-doc.exe:\ /^[ ]*$/d /^temacs:/s/prefix-args// /^temacs:/s/stamp-oldxmenu// +s/echo.*buildobj.lst/dj&/ /^ #/d # arch-tag: 246725c1-79de-4d03-a080-8f19329fa35e |