diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 19f2cf72..3db34124 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -1,17 +1,23 @@ # $Id$ -all: left-right-protocol-samples/.stamp left-right-schema.rng up-down-medium-schema.rng up-down-schema.rng resource-cert-samples-regen +all:: 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 $@ +all:: left-right-schema.rng + left-right-schema.rng: left-right-schema.rnc trang left-right-schema.rnc left-right-schema.rng +all:: up-down-medium-schema.rng + up-down-medium-schema.rng: up-down-medium-schema.rnc trang up-down-medium-schema.rnc up-down-medium-schema.rng +all:: up-down-schema.rng + up-down-schema.rng: up-down-schema.rnc trang up-down-schema.rnc up-down-schema.rng @@ -25,6 +31,8 @@ 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 +# all:: resource-cert-samples-regen + resource-cert-samples-regen: resource-cert-samples/.stamp cd resource-cert-samples && make |