diff options
author | Rob Austein <sra@hactrn.net> | 2009-07-03 22:47:18 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2009-07-03 22:47:18 +0000 |
commit | 5d4eeedea9428d2de5a37d047cafddc31cf09306 (patch) | |
tree | 2d15e0945735e69d803a8c877059eb78560fd470 /myrpki | |
parent | e8d729d48e869b051481957b113e34ed0b428b47 (diff) |
BPKI graphing
svn path=/myrpki/Makefile; revision=2568
Diffstat (limited to 'myrpki')
-rw-r--r-- | myrpki/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/myrpki/Makefile b/myrpki/Makefile index 81de1cf2..d36a5906 100644 --- a/myrpki/Makefile +++ b/myrpki/Makefile @@ -4,6 +4,7 @@ #all:: myrpki.xml #all:: lint #all:: parse +#all:: graph all:: load myrpki.xml: myrpki.py asns.csv prefixes.csv roas.csv validity.csv @@ -22,7 +23,7 @@ load: myrpki.xml myrpki.rng python myirbe.py clean: - rm -rf *.xml bpki bpki.myrpki bpki.rpkid bpki.pubd bpki.rootd + rm -rf *.xml bpki.myrpki bpki.rpkid bpki.pubd bpki.rootd relatives: mom.pem dad.pem bro.pem sis.pem @@ -31,3 +32,6 @@ mom.pem dad.pem bro.pem sis.pem: relatives.conf format: myrpki.xml xmllint --format myrpki.xml + +graph: + for b in bpki.myrpki bpki.rpkid bpki.pubd bpki.rootd; do python ../scripts/x509-dot.py $$b | dot -T ps2 | ps2pdf - $$b/graph.pdf; done |