summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index fd018eb..96c3b85 100644
--- a/Makefile
+++ b/Makefile
@@ -41,5 +41,9 @@ configure:
# OASIS_STOP
.PHONY:
+schema:
+ scripts/rnc2rng.sh all data/schemata/
+
+.PHONY:
protobuf:
ocaml-protoc -ml_out src/ data/vyconf.proto