diff options
| author | Andrew Burgess <aburgess@redhat.com> | 2024-06-24 12:22:26 +0100 |
|---|---|---|
| committer | Andrew Burgess <aburgess@redhat.com> | 2024-06-25 14:36:13 +0100 |
| commit | 98dd5ba2afe93b7e7ce56f4cbfba0f43c45225b5 (patch) | |
| tree | 1369a2ed5d82f945dc504f4df9d0f27abff6b50d /gdb/doc | |
| parent | 9ac999f5007b35d72db67c64a1733edba1171f77 (diff) | |
| download | gdb-98dd5ba2afe93b7e7ce56f4cbfba0f43c45225b5.zip gdb-98dd5ba2afe93b7e7ce56f4cbfba0f43c45225b5.tar.gz gdb-98dd5ba2afe93b7e7ce56f4cbfba0f43c45225b5.tar.bz2 | |
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>
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 381ceae..181325f 100644 --- 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) |