diff options
| author | Rob Austein <sra@hactrn.net> | 2007-07-23 23:33:54 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2007-07-23 23:33:54 +0000 |
| commit | 1f7c7823efe3135e930a0105d89b01bf58c87842 (patch) | |
| tree | f269940b1f0b6e2791c4c9348360b0bfbd94d483 | |
| parent | ce6f26e04bc0ee22c3abf58edd26b6eaf503fc77 (diff) | |
Add relaxng target.
svn path=/scripts/Makefile; revision=791
| -rw-r--r-- | scripts/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 71976971..1003c0b7 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -20,3 +20,7 @@ test: all dont-run-trang: touch *.rng + +relaxng: left-right-protocol-samples/.stamp + xmllint --noout --relaxng left-right-schema.rng left-right-protocol-samples/*.xml + xmllint --noout --relaxng up-down-schema.rng up-down-protocol-samples/*.xml |