From 9e0fafbcd4436d3d245a942117eccb1d2396261d Mon Sep 17 00:00:00 2001
From: Travis Ralston <travpc@gmail.com>
Date: Tue, 10 Jul 2018 15:13:22 -0600
Subject: [PATCH] Remove debugging line

---
 scripts/gendoc.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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) :