[soil] Add ref check to CI

oilshell · Dec 5, 2023 · a0f7463 · a0f7463
1 parent ab27b8e
commit a0f7463
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/doctools/ref_check.py b/doctools/ref_check.py
@@ -109,7 +109,7 @@ def Check(all_toc_nodes, chap_tree):
 
   chap_topics = collections.defaultdict(list)  # topic_id -> list of chapters
 
-  min_words = 5  # arbitrary
+  min_words = 10  # arbitrary
 
   for chap in chap_tree.children:
 
@@ -156,7 +156,7 @@ def Check(all_toc_nodes, chap_tree):
   assert 'j8-escape' in chap_topic_set
 
   # Report on link integrity
-  if 0:
+  if 1:
     broken = link_from - link_to
     log('%d Broken Links:', len(broken))
     for pair in sorted(broken):

diff --git a/soil/worker.sh b/soil/worker.sh
@@ -263,6 +263,7 @@ tools-deps        test/tools-deps.sh soil-run            -
 make-tarball      devtools/release.sh quick-oil-tarball  _release/oil.tar
 test-tarball      devtools/release.sh test-oil-tar       -
 docs              build/doc.sh soil-run                  _release/VERSION/index.html
+ref-check         build/doc.sh ref-check                 -
 EOF
 }