diff options
Diffstat (limited to 'docs/preview.sh')
| -rwxr-xr-x | docs/preview.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/docs/preview.sh b/docs/preview.sh index 782c36c7..db0dec77 100755 --- a/docs/preview.sh +++ b/docs/preview.sh @@ -69,21 +69,23 @@ generate_pdf() { typeset input=$1 typeset output=$2 asciidoctor-pdf -aversion-label=${name} -arevnumber=${version} \ + -asource-highlighter=pygments -aicons=font \ -b pdf -a notitle -d article -o ${output} $input } -generate_man() { +generate_html() { typeset input=$1 typeset output=$2 asciidoctor -aversion-label=${name} -arevnumber=${version} \ - -b manpage -o ${output} $input + -aicons=font -asource-highlighter=pygments \ + -b html5 -o ${output} $input } -generate_html() { +generate_man() { typeset input=$1 typeset output=$2 asciidoctor -aversion-label=${name} -arevnumber=${version} \ - -b html5 -o ${output} $input + -b manpage -o ${output} $input } generate_ps() { |