aboutsummaryrefslogtreecommitdiff
path: root/test/dune
diff options
context:
space:
mode:
Diffstat (limited to 'test/dune')
-rw-r--r--test/dune6
1 files changed, 5 insertions, 1 deletions
diff --git a/test/dune b/test/dune
index c1a14fb..84c5ec7 100644
--- a/test/dune
+++ b/test/dune
@@ -24,6 +24,8 @@
../templates/ef/grid.tex
../templates/ef/grid.ms
../templates/ef/grid.html
+ ../templates/ef/ordo.typ
+ ../templates/ef/grid.typ
golden/ordo-2027.tex
golden/ordo-2027.ms
golden/ordo-2027.html
@@ -32,7 +34,9 @@
golden/ordo-2027.txt
golden/grid-2027.tex
golden/grid-2027.ms
- golden/grid-2027.html)
+ golden/grid-2027.html
+ golden/ordo-2027.typ
+ golden/grid-2027.typ)
(preprocess
(pps ppx_sexp_conv)))