From fa7359bc55fa3af11602db12347426cb4ae902fa Mon Sep 17 00:00:00 2001 From: Uwe Hermann Date: Thu, 6 Sep 2018 09:50:57 +0200 Subject: [PATCH] manual/generate: Always generate a PDF manual as well by default. --- manual/generate | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/manual/generate b/manual/generate index 19d1ca30..c6336ee8 100755 --- 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" -- 2.30.2