diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index df92d6d..0b703a8 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -40,6 +40,10 @@ TEXIDIR=${gdbdir}/../texinfo # where to find makeinfo, preferably one designed for texinfo-2 MAKEINFO=makeinfo +# Note that texinfo 4.0's makeinfo --html can only generate a +# single file, which would be too large, so continue to use +# texi2html. -sts 2000-03-28 + MAKEHTML = texi2html MAKEHTMLFLAGS = -glossary -menu -split_chapter @@ -83,7 +87,7 @@ TEXINDEX = texindex DVIPS = dvips # Main GDB manual's source files -SFILES_INCLUDED = gdb-cfg.texi +SFILES_INCLUDED = gdb-cfg.texi $(srcdir)/annotate.texi SFILES_LOCAL = $(srcdir)/gdb.texinfo GDBvn.texi $(SFILES_INCLUDED) |