summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 77ac03a82..593a8a5f7 100644
--- a/Makefile
+++ b/Makefile
@@ -135,3 +135,8 @@ docs:
deb:
dpkg-buildpackage -uc -us -tc -b
+
+.PHONY: schema
+schema:
+ trang -I rnc -O rng schema/interface_definition.rnc schema/interface_definition.rng
+ trang -I rnc -O rng schema/op-mode-definition.rnc schema/op-mode-definition.rng