ok

oils-for-unix · Jan 14, 2025 · 733c137 · 733c137
1 parent 87d7163
commit 733c137
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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