From f0ec5b26af089692592663b6697684f4c403abd4 Mon Sep 17 00:00:00 2001 From: "David B. Kinder" Date: Mon, 12 Nov 2018 09:36:15 -0800 Subject: [PATCH] doc: add Makefile option for singlehtml Sphinx supports making a single (large) html file instead of a full website with a collection of html pages. This ``make singlehtml`` option provides the basis for creating a Word document (for example) via a cut-and-paste of a section of the documentation (not easily possible when the docs are in multiple HTML files.) Signed-off-by: David B. Kinder --- doc/Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/Makefile b/doc/Makefile index f3ab84302..cf5d169ea 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -56,6 +56,9 @@ html: doxy content kconfig -$(Q)$(SPHINXBUILD) -t $(DOC_TAG) -b html -d $(BUILDDIR)/doctrees $(SOURCEDIR) $(BUILDDIR)/html $(SPHINXOPTS) $(OPTS) >> doc.log 2>&1 $(Q)./scripts/filter-doc-log.sh doc.log +singlehtml: doxy content kconfig + -$(Q)$(SPHINXBUILD) -t $(DOC_TAG) -b singlehtml -d $(BUILDDIR)/doctrees $(SOURCEDIR) $(BUILDDIR)/html $(SPHINXOPTS) $(OPTS) >> doc.log 2>&1 + $(Q)./scripts/filter-doc-log.sh doc.log # Remove generated content (Sphinx and doxygen)