diff options
Diffstat (limited to 'docs/preview.sh')
| -rwxr-xr-x | docs/preview.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/preview.sh b/docs/preview.sh index db0dec77..7f52833e 100755 --- a/docs/preview.sh +++ b/docs/preview.sh @@ -76,7 +76,7 @@ generate_pdf() { generate_html() { typeset input=$1 typeset output=$2 - asciidoctor -aversion-label=${name} -arevnumber=${version} \ + asciidoctor -atoc=left -aversion-label=${name} -arevnumber=${version} \ -aicons=font -asource-highlighter=pygments \ -b html5 -o ${output} $input } |