From 3debc2bb4794fd385418ad681d8c894ffd9e625d Mon Sep 17 00:00:00 2001
From: Rob Dockins <rdockins@galois.com>
Date: Wed, 30 Jun 2021 10:06:21 -0700
Subject: [PATCH] Add a `check-docs` command to the `cry` script

---
 cry | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/cry b/cry
index 5566a095..34301f16 100755
--- a/cry
+++ b/cry
@@ -23,6 +23,7 @@ Available commands:
   rpc-test                     Run RPC server tests
   rpc-docs                     Check that the RPC documentation is up-to-date
   exe-path                     Print the location of the local executable
+  check-docs                   Check the exercises embedded in the documentation
 EOM
 }
 
@@ -97,6 +98,10 @@ case $COMMAND in
     $DIR/cryptol-remote-api/check_docs.sh
     ;;
 
+  check-docs)
+    cabal v2-build exe:check-exercises
+    find ./docs/ProgrammingCryptol -name '*.tex' -print0 | xargs -0 -n1 cabal v2-exec check-exercises
+    ;;
 
   help) show_usage && exit 0 ;;