Fix numerous issues with integration documentation tags and the table of contents, and add a script to check for theses issues

1 files changed, 7 insertions, 0 deletions

diff --git a/run-tests b/run-tests
index c58e7aa3..07ff3a86 100755
--- a/run-tests
+++ b/run-tests
@@ -255,6 +255,13 @@ if ((run_custom_checks)); then
     grep ' \*[^*]\+\*$' doc/ -r \
         | awk '{ sep = index($0, ":"); if (length(substr($0, sep + 1 )) < 79) { print } }' \
         | grep . && EXIT=1
+
+    echo '========================================'
+    echo 'Look for table of contents issues'
+    echo '========================================'
+    echo
+
+    test/script/check-toc || EXIT=$?
 fi
 
 exit $EXIT