From: Jeff Licquia <licquia@debian.org>
Date: Sat, 21 Dec 2019 22:31:04 +0100
Subject: Documentation fixes

Forwarded: not-needed

This patch gives us a complete documentation build
---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

--- a/doc/Makefile
+++ b/doc/Makefile
@@ -28,7 +28,7 @@
 		b-book.html
 
 DOCUMENTS =	htmldoc.epub htmldoc.html htmldoc.pdf htmldoc.ps
-DOCFILES =	help.html htmldoc.pdf
+DOCFILES =	help.html htmldoc.pdf htmldoc.html htmldoc.ps
 
 HTMLDOC	=	../htmldoc/htmldoc$(EXEEXT) --datadir .. --strict
 
