diff options
Diffstat (limited to 'msdos')
| -rw-r--r-- | msdos/ChangeLog | 4 | ||||
| -rw-r--r-- | msdos/sed1x.inp | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/msdos/ChangeLog b/msdos/ChangeLog index 87a135cad2d..0214b6bc98b 100644 --- a/msdos/ChangeLog +++ b/msdos/ChangeLog @@ -1,3 +1,7 @@ +2013-05-15 Stefan Monnier <monnier@iro.umontreal.ca> + + * sed1x.inp: Don't rewrite DOC any more. + 2013-02-08 Paul Eggert <eggert@cs.ucla.edu> * sedlibmk.inp: Sync with changes in lib/Makefile.in. diff --git a/msdos/sed1x.inp b/msdos/sed1x.inp index 9134bc73d28..dacfee6d385 100644 --- a/msdos/sed1x.inp +++ b/msdos/sed1x.inp @@ -17,7 +17,7 @@ # ---------------------------------------------------------------------- s!^ cd \${oldXMenudir}; \${MAKE}.*$! ${MAKE} -C ${oldXMenudir}.! s!^ @true *$! @rem! -s/DOC/DOC-X/g +#s/DOC/DOC-X/g /^OLDXMENU *=/s!=.*!= ${oldXMenudir}libXMenu11.a! /^LIBXMENU *=/s!= *!= ${OLDXMENU}! /^LIBX_OTHER *=/s!= *!= ${LIBXT} ${LIBX_EXTRA}! |