From 2a72a2ff9c775eb8ce1f26c0188e22ab80501276 Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Sun, 22 Oct 2023 10:55:13 +0100
Subject: [PATCH] Adding experimental PDF build of manual using rinohtype
 <https://github.com/brechtm/rinohtype>.

---
 manual/Makefile         | 5 +++++
 manual/requirements.pip | 1 +
 2 files changed, 6 insertions(+)

diff --git a/manual/Makefile b/manual/Makefile
index 9a16e305ae..25fa331aa9 100644
--- 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
index 9b44cd928f..813a35fc5e 100644
--- a/manual/requirements.pip
+++ b/manual/requirements.pip
@@ -2,3 +2,4 @@
 
 sphinx
 sphinx-rtd-theme
+rinohtype