Adding experimental PDF build of manual using rinohtype <https://gith…

…ub.com/brechtm/rinohtype>.
Ravenbrook · Oct 22, 2023 · 2a72a2f · 2a72a2f
1 parent ebeee66
commit 2a72a2f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/manual/Makefile b/manual/Makefile
@@ -52,6 +52,11 @@ html: $(SPHINXBUILD)
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
+pdf: $(SPHINXBUILD)
+	$(SPHINXBUILD) -b rinoh $(ALLSPHINXOPTS) $(BUILDDIR)/pdf
+	@echo
+	@echo "Build finished. The PDF is in $(BUILDDIR)/pdf."
+
 dirhtml: $(SPHINXBUILD)
 	$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml
 	@echo

diff --git a/manual/requirements.pip b/manual/requirements.pip
@@ -2,3 +2,4 @@
 
 sphinx
 sphinx-rtd-theme
+rinohtype