1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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
|
