manual/generate: Always generate a PDF manual as well by default.

diff --git a/manual/generate b/manual/generate
index 19d1ca30879e08a0ab76b08fc20e295cd5ad2afb..c6336ee888ed377695e207c1a7089f879c6a0ffc 100755 (executable)
--- a/manual/generate
+++ b/manual/generate
@@ -23,6 +23,6 @@ asciidoctor -a stylesheet=readthedocs.css -a stylesdir=asciidoctor-stylesheet-fa
 echo " --> pulseview_manual.html OK"
 
 # Run asciidoctor-pdf only if it can be found in $PATH
-#echo "Trying to generate PDF output..."
-#type asciidoctor-pdf && asciidoctor-pdf -a stylesheet=readthedocs.css -a stylesdir=asciidoctor-stylesheet-factory/stylesheets pulseview_manual.txt || exit
-#echo " --> pulseview_manual.pdf OK"
+echo "Trying to generate PDF output..."
+type asciidoctor-pdf && asciidoctor-pdf -a stylesheet=readthedocs.css -a stylesdir=asciidoctor-stylesheet-factory/stylesheets pulseview_manual.txt || exit
+echo " --> pulseview_manual.pdf OK"