diff --git a/devtools/types.sh b/devtools/types.sh
index bb31f3d04..a807ba706 100755
--- a/devtools/types.sh
+++ b/devtools/types.sh
@@ -61,14 +61,15 @@ check-mycpp() {
 }
 
 check-doctools() {
-  if true; then
+  if false; then
     local -a files=(
       $(for x in doctools/*.py; do echo $x; done | grep -v '_test.py' )
       lazylex/html.py
     )
   else
     #local -a files=( lazylex/html.py )
-    local -a files=( doctools/help_gen.py )
+    #local -a files=( doctools/help_gen.py )
+    local -a files=( doctools/ul_table.py lazylex/html.py )
   fi
 
   # 777 errors before pyann