diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 7003b602..11039603 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -43,3 +43,9 @@ doxygen: tags: find . -type f -name '*.py' | etags - + +all:: rpki/relaxng.py + +rpki/relaxng.py: left-right-schema.rng up-down-schema.rng make-relaxng.py + python make-relaxng.py >$@.tmp + mv $@.tmp $@ |