recover letters

1 files changed, 2 insertions, 1 deletions

diff --git a/build.py b/build.py
index b55b62e..c8a649c 100755
--- a/build.py
+++ b/build.py
@@ -5,6 +5,7 @@ import markdown
 import pathlib
 from datetime import datetime
 from dataclasses import dataclass
+from markdown.extensions.toc import TocExtension
 
 
 __here__ = pathlib.Path(__file__).resolve().parent
@@ -13,7 +14,7 @@ __here__ = pathlib.Path(__file__).resolve().parent
 date = datetime.now().strftime('%Y-%m-%d %H:%M:%S')
 
 
-md = markdown.Markdown(extensions=['meta', "toc", "extra"])
+md = markdown.Markdown(extensions=["meta", TocExtension(permalink=" §"), "extra"])
 
 
 env = jinja2.Environment(loader = jinja2.FileSystemLoader(str(__here__ / "templates")))