diff --git a/scripts/gendoc.py b/scripts/gendoc.py
index 25fd4577..af613b68 100755
--- a/scripts/gendoc.py
+++ b/scripts/gendoc.py
@@ -405,8 +405,7 @@ def logv(line):
 
 
 def cleanup_env():
-    #shutil.rmtree(tmp_dir)
-    pass
+    shutil.rmtree(tmp_dir)
 
 
 def mkdirp(d) :