From 3f0b2323d92a729269cd336350593f6a44e87f3e Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Fri, 6 Jan 2017 01:32:24 +0700 Subject: Add a target for re-generating the RNG schemata to makefile. --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index fd018eb..96c3b85 100644 --- a/Makefile +++ b/Makefile @@ -40,6 +40,10 @@ configure: # OASIS_STOP +.PHONY: +schema: + scripts/rnc2rng.sh all data/schemata/ + .PHONY: protobuf: ocaml-protoc -ml_out src/ data/vyconf.proto -- cgit v1.2.3