diff options
| -rw-r--r-- | gdb/doc/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/doc/Makefile.in | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 108a156..66300bb 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2001-10-12 Jim Blandy <jimb@redhat.com> + + * Makefile.in (MAKEHTMLFLAGS): Remove -glossary; the most recent + version of texi2html (1.64) doesn't support this flag any more. + 2001-09-08 Mark Kettenis <kettenis@gnu.org> * gdbint.texinfo (Host Definition): Remove description of diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 85aeb49..7e1c827 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -48,7 +48,7 @@ MAKEINFO=makeinfo # texi2html. -sts 2000-03-28 MAKEHTML = texi2html -MAKEHTMLFLAGS = -glossary -menu -split_chapter +MAKEHTMLFLAGS = -menu -split_chapter # where to find texi2roff, ditto TEXI2ROFF=texi2roff |