gdb: add one-page manual support

Message ID 20210502163150.30910-1-vapier@gentoo.org
State New
Headers show
Series
  • gdb: add one-page manual support
Related show

Commit Message

Aktemur, Tankut Baris via Gdb-patches May 2, 2021, 4:31 p.m.
Generate the manual as a single page to make it easier to browse.
---
 gdb/doc/Makefile.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

-- 
2.31.1

Comments

Tom Tromey May 4, 2021, 3:16 p.m. | #1
>>>>> "Mike" == Mike Frysinger via Gdb-patches <gdb-patches@sourceware.org> writes:


Mike> Generate the manual as a single page to make it easier to browse.

Looks good to me.  Thank you.

Tom

Patch

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index 13b288d3e42f..17b821cb8079 100644
--- a/gdb/doc/Makefile.in
+++ b/gdb/doc/Makefile.in
@@ -90,7 +90,7 @@  INFO_DEPS = gdb.info stabs.info annotate.info
 # Files which should be generated via 'pdf' and installed by 'install-pdf'
 PDFFILES = gdb.pdf stabs.pdf refcard.pdf annotate.pdf
 # Files which should be generated via 'html' and installed by 'install-html'
-HTMLFILES =  gdb/index.html stabs/index.html annotate/index.html
+HTMLFILES = gdb.html gdb/index.html stabs/index.html annotate/index.html
 HTMLFILES_INSTALL = gdb stabs annotate
 
 # There may be alternate predefined collections of switches to configure
@@ -566,6 +566,9 @@  gdb.mm: $(GDB_DOC_FILES) links2roff
 gdb/index.html: ${GDB_DOC_FILES}
 	$(MAKEHTML) $(MAKEHTMLFLAGS) $(READLINE_TEXI_INCFLAG) -I ${GDBMI_DIR} -I $(srcdir) $(srcdir)/gdb.texinfo
 
+gdb.html: ${GDB_DOC_FILES}
+	$(MAKEHTML) $(MAKEHTMLFLAGS) $(READLINE_TEXI_INCFLAG) -I ${GDBMI_DIR} -I $(srcdir) --no-split $(srcdir)/gdb.texinfo
+
 stabs.info: $(STABS_DOC_FILES)
 	$(MAKEINFO_CMD) -I $(srcdir) -o stabs.info $(srcdir)/stabs.texinfo