From 437918633382c0af484b0f865455cf632bf9c0ec Mon Sep 17 00:00:00 2001 From: Peter Barker Date: Thu, 21 Mar 2019 18:49:37 +1100 Subject: [PATCH] Tools: scripts: remove dated directories from manifest --- Tools/scripts/generate_manifest.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Tools/scripts/generate_manifest.py b/Tools/scripts/generate_manifest.py index 7bc07b4872..15a7148fb0 100755 --- a/Tools/scripts/generate_manifest.py +++ b/Tools/scripts/generate_manifest.py @@ -224,6 +224,8 @@ class ManifestGenerator(): # skip any non-directories (e.g. "files.html"): if year_month_regex.match(firstlevel): # this is a dated directory e.g. binaries/Copter/2016-02 + # we do not include dated directories in the manifest ATM: + continue year_month_path = os.path.join(basedir, vehicletype, firstlevel) for fulldate in os.listdir(year_month_path): if fulldate in ["files.html", ".makehtml"]: