From 733c137d54ff56b100cf4c5e75266d47cf7cf0b2 Mon Sep 17 00:00:00 2001
From: Andy C <andy@oilshell.org>
Date: Tue, 14 Jan 2025 11:46:18 -0500
Subject: [PATCH] ok

---
 devtools/types.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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