gdb/doc: the all-doc build target should build .... all docs

I noticed that the 'all-doc' build target doesn't build all the doc
formats, 'man' and 'html' are missing.

This commit updates 'all-doc' so that all formats are built.

This doesn't change the default 'all' target, which is the default
target used when building GDB itself, the 'all' target continues to
just build the 'info' docs.

There should be no difference in the actual generated output after
this commit, I'm just changing what gets built.

Approved-By: Tom Tromey <tom@tromey.com>

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index 381ceae35f4c0e77f3edf13a39d1ec4925ffb4be..181325fd0c91b060a6aefa29d8e25269fc610440 100644 (file)
--- a/gdb/doc/Makefile.in
+++ b/gdb/doc/Makefile.in
@@ -247,7 +247,7 @@ Doxyfile-gdb-xref:  $(srcdir)/Doxyfile-gdb-xref.in
 Doxyfile-gdbserver:    $(srcdir)/Doxyfile-gdbserver.in
        $(doxyedit) $(srcdir)/Doxyfile-gdbserver.in >Doxyfile-gdbserver
 
-all-doc: info dvi ps pdf
+all-doc: info man dvi ps pdf html
 diststuff: info man
 
 install-info: $(INFO_DEPS)