Tweaked the numbering again

silnrsi · Aug 13, 2024 · ec7d07c · ec7d07c
1 parent a2b7ac0
commit ec7d07c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -16,7 +16,7 @@ jobs:
       run: |
           sudo apt-get update
           sudo apt-get install asciidoctor ruby-pygments.rb -y
-          asciidoctor -t -v -D docs/smith --backend=xhtml5 -n -a toc=left -a source-hightlighter-pygments -o index.html docs/smith/manual.adoc
+          asciidoctor -t -v -D docs/smith --backend=xhtml5 -n -a toc=left -a source-hightlighter=pygments -o index.html docs/smith/manual.adoc
     - name: Deploy docs to gh-pages
       uses: peaceiris/actions-gh-pages@v4
       with:

diff --git a/docs/smith/manual.adoc b/docs/smith/manual.adoc
@@ -4,11 +4,11 @@
 :keywords: fonts, building, testing, releasing, writing systems
 
 :toc: left
-
 :toclevels: 2
 :sectanchors:
 :sectlinks:
 :sectnums:
+:source-highlighter: pygments
 
 include::intro.adoc[]