Docs: enable toc extension (#492)

Adds an anchor link at the end of each headline.
jorisroovers · May 10, 2023 · a19e7d8 · a19e7d8
1 parent e4c1988
commit a19e7d8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -12,6 +12,9 @@ markdown_extensions:
     - pymdownx.superfences
     - pymdownx.details # Collapsible admonitions
     - tables
+
+    - toc:
+        permalink: true
 
     - pymdownx.highlight:
         anchor_linenums: true