aboutsummaryrefslogtreecommitdiff
path: root/test/dune
diff options
context:
space:
mode:
Diffstat (limited to 'test/dune')
-rw-r--r--test/dune8
1 files changed, 7 insertions, 1 deletions
diff --git a/test/dune b/test/dune
index 504a639..aa4bd66 100644
--- a/test/dune
+++ b/test/dune
@@ -19,12 +19,18 @@
../templates/ef/ordo.adoc
../templates/ef/ordo.md
../templates/ef/ordo.txt
+ ../templates/ef/grid.tex
+ ../templates/ef/grid.ms
+ ../templates/ef/grid.html
golden/ordo-2027.tex
golden/ordo-2027.ms
golden/ordo-2027.html
golden/ordo-2027.adoc
golden/ordo-2027.md
- golden/ordo-2027.txt)
+ golden/ordo-2027.txt
+ golden/grid-2027.tex
+ golden/grid-2027.ms
+ golden/grid-2027.html)
(preprocess
(pps ppx_sexp_conv)))