summaryrefslogtreecommitdiff
path: root/lib/layouts/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/layouts/dune')
-rw-r--r--lib/layouts/dune16
1 files changed, 0 insertions, 16 deletions
diff --git a/lib/layouts/dune b/lib/layouts/dune
deleted file mode 100644
index ee236ea..0000000
--- a/lib/layouts/dune
+++ /dev/null
@@ -1,16 +0,0 @@
-(library
- (name layouts)
- (public_name ogit.layouts)
- (modules header topnav))
-
-; Rule to preprocess header.eml.html
-(rule
- (targets header.ml)
- (deps header.eml.html)
- (action (run dream_eml %{deps} --workspace %{workspace_root})))
-
-; Rule to preprocess topnav.eml.html
-(rule
- (targets topnav.ml)
- (deps topnav.eml.html)
- (action (run dream_eml %{deps} --workspace %{workspace_root})))
Copyright 2019--2025 Marius PETER