From 4b3ddc412f91bac90e502daf197334ad8b39c2c8 Mon Sep 17 00:00:00 2001
From: Blaise Thompson <blaise@untzag.com>
Date: Sat, 11 Dec 2021 10:52:11 -0600
Subject: recover letters

---
 build.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'build.py')

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")))
-- 
cgit v1.2.3