diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/preview.sh | 10 | ||||
| -rwxr-xr-x | docs/publish.sh | 2 |
2 files changed, 8 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() { diff --git a/docs/publish.sh b/docs/publish.sh index 02aab149..5a3fea95 100755 --- a/docs/publish.sh +++ b/docs/publish.sh @@ -78,6 +78,8 @@ EOF -aversion-label=${name} \ -arevnumber=${vers} \ -askip-front-matter \ + -asource-highlighter=pygments \ + -aicons=font \ -bhtml5 \ -o - ${adoc} >> ${output} chmod 0644 ${output} |