From b7bd6502afd2017d50a6fc9cda30a41457bb170b Mon Sep 17 00:00:00 2001 From: Thorsten Sick Date: Fri, 17 Sep 2021 11:39:25 +0200 Subject: [PATCH] Shipit got human readable documentation files added --- tools/shipit.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/shipit.py b/tools/shipit.py index 871f5e5..d6a8469 100755 --- a/tools/shipit.py +++ b/tools/shipit.py @@ -64,7 +64,11 @@ globs = ["TODO.md", "pylint.rc", "shipit_log.txt", "all_caldera_attacks_unique.txt", - "caldera_subset.txt"] + "caldera_subset.txt", + "templates/*.rst", + "tools/human_readable_documentation/source/conf.py", + "tools/human_readable_documentation/Makefile", + ] try: os.remove(filename)