From: Jeff Licquia 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