diff options
| author | Karl Berry <[email protected]> | 2004-05-16 22:22:52 +0000 |
|---|---|---|
| committer | Karl Berry <[email protected]> | 2004-05-16 22:22:52 +0000 |
| commit | 49e71458c9e3482a0359f6f597367c566a52939f (patch) | |
| tree | efdd0ff8e88b5cc03e51e0d44286c1985558acd0 /man/ChangeLog | |
| parent | 8cb7feb8b17c8f5cda151d9754c392d707c6d70b (diff) | |
@ifnottex, not @ifinfo
Diffstat (limited to 'man/ChangeLog')
| -rw-r--r-- | man/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index b8133c09fe..30247e1043 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,3 +1,9 @@ +2004-05-16 Karl Berry <[email protected]> + + * emacs.texi (ack.texi) [@ifnottex]: Change condition; with @ifinfo, + makeinfo --html fails. + * help.texi (Help Summary) [@ifnottex]: Likewise. + 2004-05-13 Nick Roberts <[email protected]> * building.texi (GDB Graphical Interface): Update and describe |