diff options
Diffstat (limited to 'sandbox/mallard/rng/Makefile')
| -rw-r--r-- | sandbox/mallard/rng/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/sandbox/mallard/rng/Makefile b/sandbox/mallard/rng/Makefile new file mode 100644 index 0000000..28cffd5 --- /dev/null +++ b/sandbox/mallard/rng/Makefile @@ -0,0 +1,9 @@ +all: mallard.rnc mallard.rng + +mallard.rnc: $(wildcard ../spec/*.xml) + for file in ../spec/*.xml; do \ + xsltproc ../xslt/mal2rnc.xsl $$file; \ + done > mallard.rnc + +mallard.rng: mallard.rnc rnc2rng.awk + awk -f rnc2rng.awk mallard.rnc | xmllint --format - > mallard.rng |