diff options
author | Joris Roovers <joris.roovers@gmail.com> | 2023-05-10 10:28:01 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-10 10:28:01 +0200 |
commit | a19e7d88c3edb145c56af983bdc64be38b36511f (patch) | |
tree | 72fca65194647c27ad36a5273279fd5e2c6b417a | |
parent | e4c19887bad9e2dedcfc31b9e318486e162f9300 (diff) |
Docs: enable toc extension (#492)
Adds an anchor link at the end of each headline.
-rw-r--r-- | mkdocs.yml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -12,6 +12,9 @@ markdown_extensions: - pymdownx.superfences - pymdownx.details # Collapsible admonitions - tables + + - toc: + permalink: true - pymdownx.highlight: anchor_linenums: true |