Shipit got human readable documentation files added

3 years ago · b7bd6502af
parent fe4287b841
commit b7bd6502af
1 changed files with 5 additions and 1 deletions
--- 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)