1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
From: Jeff Licquia <licquia@debian.org>
Date: Sat, 21 Dec 2019 22:31:04 +0100
Subject: Documentation fixes
Only build documentation as html.
Forwarded: not-needed
Last-Update: 2022-06-08
---
doc/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/Makefile b/doc/Makefile
index 839c8a9..4ec0e02 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -28,7 +28,7 @@ SOURCES = 1-intro.html \
b-book.html
DOCUMENTS = htmldoc.epub htmldoc.html htmldoc.pdf htmldoc.ps
-DOCFILES = help.html htmldoc.pdf
+DOCFILES = help.html htmldoc.html
HTMLDOC = ../htmldoc/htmldoc$(EXEEXT) --datadir .. --strict
|
