diff --git a/scripts/generate.py b/scripts/generate.py index 54e9c22..6c16b99 100644 --- a/scripts/generate.py +++ b/scripts/generate.py @@ -772,6 +772,11 @@ def as_document(html, title, global_toc): {title} @ {SITE_NAME} + + + + +