diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 1003c0b7..ab658040 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -1,6 +1,6 @@ # $Id$ -all: left-right-protocol-samples/.stamp left-right-schema.rng up-down-medium-schema.rng up-down-schema.rng +all: left-right-protocol-samples/.stamp left-right-schema.rng up-down-medium-schema.rng up-down-schema.rng resource-cert-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 @@ -24,3 +24,8 @@ dont-run-trang: 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 + +resource-cert-samples/.stamp: generate-testrepo.py Makefile + python generate-testrepo.py + cd resource-cert-samples && make + touch $@ |