]> sigrok.org Git - pulseview.git/commitdiff
manual/generate: Always generate a PDF manual as well by default.
authorUwe Hermann <redacted>
Thu, 6 Sep 2018 07:50:57 +0000 (09:50 +0200)
committerUwe Hermann <redacted>
Thu, 6 Sep 2018 12:52:10 +0000 (14:52 +0200)
manual/generate

index 19d1ca30879e08a0ab76b08fc20e295cd5ad2afb..c6336ee888ed377695e207c1a7089f879c6a0ffc 100755 (executable)
@@ -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"