1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/check-consistency.sh b/scripts/check-consistency.sh
index 600db25..3ca9b0c 100755
--- a/scripts/check-consistency.sh
+++ b/scripts/check-consistency.sh
@@ -70,8 +70,13 @@ fi
 # --- extract what the docs promise -----------------------------------------
 
 # Only rows of tables whose header first cell is "Command" count; prose,
-# argument names and other tables must not produce command names.
+# argument names and other tables must not produce command names. The
+# generated catalogue (gen_protocol) is skipped so every command still needs
+# a hand-written table row with its result.
 awk '
+    /<!-- generated:commands begin -->/ { skip = 1 }
+    /<!-- generated:commands end -->/ { skip = 0; next }
+    skip { next }
     /^\|/ {
         n = split($0, cells, "|")
         cell = cells[2]