From b546724ecd4e19a81a3c601283c496cec73e87b2 Mon Sep 17 00:00:00 2001 From: Glenn Jocher Date: Fri, 9 Aug 2024 17:21:23 +0200 Subject: [PATCH] Delete `/macros` dir from Docs site (#15068) Co-authored-by: UltralyticsAssistant --- docs/build_docs.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/build_docs.py b/docs/build_docs.py index 111339834..a0ce5b91e 100644 --- a/docs/build_docs.py +++ b/docs/build_docs.py @@ -178,6 +178,12 @@ def update_docs_html(): if any(script): update_html_head(script) + # Delete the /macros directory from the built site + macros_dir = SITE / "macros" + if macros_dir.exists(): + print(f"Removing /macros directory from site: {macros_dir}") + shutil.rmtree(macros_dir) + def convert_plaintext_links_to_html(content): """Convert plaintext links to HTML hyperlinks in the main content area only."""