1 files changed, 14 insertions, 0 deletions
diff --git a/tools/dune b/tools/dune
index 487751e..9a4dea5 100644
--- a/tools/dune
+++ b/tools/dune
@@ -32,6 +32,7 @@
 ; reads no EF-specific vocabulary.
 (executable
  (name extract_lms_ordo)
+ (modules extract_lms_ordo)
  (libraries colitur_kernel unix sexplib)
  (preprocess
   (pps ppx_sexp_conv)))
@@ -54,3 +55,16 @@
  (deps check_citations.py test_check_citations.py)
  (action
   (run python3 test_check_citations.py)))
+
+; Witnesses task (2026-08-22-colitur-celebrant-rubrics-phase1): turns
+; pdftotext's -layout dump of the FIUV universal Ordo into
+; test/fixtures/fiuv-ordo-2025-2026.sexp. Run via `dune exec
+; tools/extract_fiuv_ordo.exe -- <pdftotext-layout.txt> <source.pdf>
+; <dest.sexp>`. Same `unix`-for-`sha256sum` usage as extract_lms_ordo.ml;
+; `colitur_kernel` only, no `rite_ef` -- same reasoning, dates only.
+(executable
+ (name extract_fiuv_ordo)
+ (modules extract_fiuv_ordo)
+ (libraries colitur_kernel unix sexplib)
+ (preprocess
+  (pps ppx_sexp_conv)))