diff options
Diffstat (limited to 'test/dune')
| -rw-r--r-- | test/dune | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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))) |
