diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/scripts/Makefile b/scripts/Makefile new file mode 100644 index 00000000..54461d1a --- /dev/null +++ b/scripts/Makefile @@ -0,0 +1,19 @@ +# $Id$ + +all: samples schemas + +samples: left-right-protocol-samples/.stamp + +left-right-protocol-samples/.stamp: left-right-protocol-samples.xsl ../docs/left-right-xml + xsltproc left-right-protocol-samples.xsl ../docs/left-right-xml + touch $@ + +schemas: left-right-schema.rng up-down-medium-schema.rng up-down-schema.rng + +.rnc.rng: + trang $< $@ + +.SUFFIXES: .rnc .rng + +test: all + python xml-parse-test.py |