Fix image on website.

eseckel · Jan 17, 2024 · d6bb9fa · d6bb9fa
1 parent a4bd416
commit d6bb9fa
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 .DS_Store
 venv/
+docs/*png
diff --git a/banner.png b/banner.png
diff --git a/mkindex.py b/mkindex.py
@@ -5,6 +5,7 @@
 import os
 import pathlib
 import re
+import shutil
 import sys
 import urllib.request
 
@@ -123,3 +124,6 @@ def add_toc_depth_limit():
         for ln in filter_gh_toc(lines):
             print(ln, file=handle, end="")
 
+    # Copy banner.png
+    shutil.copyfile("banner.png", INDEX_MD_PATH.parent / "banner.png")
+