diff options
author | Eli Zaretskii <[email protected]> | 2012-05-25 13:21:30 +0300 |
---|---|---|
committer | Eli Zaretskii <[email protected]> | 2012-05-25 13:21:30 +0300 |
commit | 18e86e24b671086e0c0c8c13fbad93a1bbf28d18 (patch) | |
tree | c9caff20b5da48d798773149d717cfab7f3bcd47 /msdos | |
parent | ec9d4b084a0057c0db31fb89d34b91b3d90c671e (diff) |
Follow-up for 2012-05-04T06:45:[email protected].
msdos/sed6.inp (INFO_EXT): Edit to .info.
(INFO_OPTS): Edit to --no-split.
Diffstat (limited to 'msdos')
-rw-r--r-- | msdos/ChangeLog | 5 | ||||
-rw-r--r-- | msdos/sed6.inp | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/msdos/ChangeLog b/msdos/ChangeLog index 2b56315c1a..ae72d18280 100644 --- a/msdos/ChangeLog +++ b/msdos/ChangeLog @@ -1,3 +1,8 @@ +2012-05-25 Eli Zaretskii <[email protected]> + + * sed6.inp (INFO_EXT): Edit to .info. + (INFO_OPTS): Edit to --no-split. + 2012-05-22 Paul Eggert <[email protected]> Remove src/m/*. diff --git a/msdos/sed6.inp b/msdos/sed6.inp index 6d44f99530..22052140b8 100644 --- a/msdos/sed6.inp +++ b/msdos/sed6.inp @@ -19,6 +19,8 @@ /^srcdir *=/s/@[^@\n]*@/./ /^VPATH *=/s/@[^@\n]*@/./ /^MAKEINFO *=/s/@[^@\n]*@/makeinfo/ +/^INFO_EXT *=/s/@[^@\n]*@/.info/ +/^INFO_OPTS *=/s/@[^@\n]*@/--no-split/ /^ENVADD/,/^$/c\ ENVADD =\ export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\ |