diff --git a/scripts/gendoc.py b/scripts/gendoc.py index 431b1710..92024035 100755 --- a/scripts/gendoc.py +++ b/scripts/gendoc.py @@ -101,8 +101,8 @@ def prepare_env(): pass def cleanup_env(): - pass - #shutil.rmtree("./tmp") + #pass + shutil.rmtree("./tmp") def main(): prepare_env()