diff options
| -rwxr-xr-x | src/scripts/cleanup.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/cleanup.py b/src/scripts/cleanup.py index 6dc7d2408..7660076dc 100755 --- a/src/scripts/cleanup.py +++ b/src/scripts/cleanup.py @@ -100,6 +100,8 @@ def main(args=None): dir_path = build_config[dir_type] remove_all_in_dir(dir_path) + remove_file(build_config['doc_stamp_file']) + try: shutil.rmtree(build_config['doc_output_dir']) except OSError: |