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