diff options
Diffstat (limited to 'man/ChangeLog')
| -rw-r--r-- | man/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index 6bcbe6dc9e9..1357692cc6c 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,3 +1,15 @@ +2005-06-24 Richard M. Stallman <rms@gnu.org> + + * display.texi (Text Display): Change index entries. + +2005-06-24 Eli Zaretskii <eliz@gnu.org> + + * makefile.w32-in (MAKEINFO): Use --force. + (INFO_TARGETS, DVI_TARGETS): Make identical to the lists in + Makefile.in. + (gnus.dvi): Use "..." to quote Sed args, so that it works with + more shells. + 2005-06-23 Richard M. Stallman <rms@gnu.org> * anti.texi (Antinews): Renamed show-nonbreak-escape to |