From a42e236616cdd69a8d94e135ac364d2b2298a1c8 Mon Sep 17 00:00:00 2001
From: Dominik Bernhardt <dominik.bernhardt@rwth.aachen.de>
Date: Thu, 22 Aug 2019 17:09:07 +0200
Subject: [PATCH] Adds make html that does not build the manual als pdf

---
 Makefile.rules  |  3 +++
 doc/make_doc.in | 10 +++++++---
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/Makefile.rules b/Makefile.rules
index 6349eb43ae..1547f9a72f 100644
--- a/Makefile.rules
+++ b/Makefile.rules
@@ -783,6 +783,9 @@ manuals: doc
 doc: gap$(EXEEXT) doc/make_doc
 	doc/make_doc
 
+html: gap$(EXEEXT) doc/make_doc
+	doc/make_doc nopdf
+
 clean-doc:
 	rm -f doc/*/chap*.html doc/*/chap*.txt doc/*/*.css doc/*/*.js
 	rm -f doc/*/chooser.html doc/*/manual*.pdf
diff --git a/doc/make_doc.in b/doc/make_doc.in
index 4dfab9e0f2..a5bc4e4f58 100644
--- a/doc/make_doc.in
+++ b/doc/make_doc.in
@@ -5,7 +5,11 @@ set -o pipefail
 
 GAP=@abs_top_builddir@/bin/gap.sh
 GAPARGS="-b -m 1g -x 80 -q -r --quitonbreak"
-
+if [ "$1" == "nopdf" ]; then
+  NOPDF=", \"nopdf\""
+else
+  NOPDF=""
+fi
 echo "--------------------"
 echo "Building GAP manuals"
 echo "--------------------"
@@ -41,7 +45,7 @@ for run in [1,2] do
     if run = 2 then
         # create black&white version of manual (but only on second run)
         SetGapDocLaTeXOptions("nocolor", latexOpts);
-        MakeGAPDocDoc( path, "main.xml", files, book, "../..", "MathJax" );;
+        MakeGAPDocDoc( path, "main.xml", files, book, "../..", "MathJax" $NOPDF );;
 
         # Rename the generated black&white PDF
         f1 := Filename(dir, "manual.pdf");
@@ -58,7 +62,7 @@ for run in [1,2] do
 
     # create manuals with color
     SetGapDocLaTeXOptions("color", latexOpts);
-    MakeGAPDocDoc( path, "main.xml", files, book, "../..", "MathJax" );;
+    MakeGAPDocDoc( path, "main.xml", files, book, "../..", "MathJax" $NOPDF);;
   od;
 od;
 EOF