From d51c38b19f733822aeb7efc160b9fd9451e197ef Mon Sep 17 00:00:00 2001 From: Hammie Date: Sat, 18 Nov 2023 14:19:53 +0100 Subject: [PATCH] Update publish script --- installer/publish.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/installer/publish.py b/installer/publish.py index 4c1724e22..afabb0412 100644 --- a/installer/publish.py +++ b/installer/publish.py @@ -2,7 +2,8 @@ import shutil import fnmatch -shutil.rmtree("publish") +if os.path.exists("publish"): + shutil.rmtree("publish") os.makedirs("publish", exist_ok=True) @@ -51,6 +52,9 @@ def add_pattern(pattern, directory=None, target=None): add_directory("../Documentation", target="Documentation") +# Modules +add_pattern("*.toml", directory="../modules", target="modules") + # Resources add_pattern("*.ini", directory="../RESOURCE", target="resource") add_pattern("*.toml", directory="../RESOURCE", target="resource")