diff options
| -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) |