diff options
author | Rob Austein <sra@hactrn.net> | 2009-07-10 21:11:30 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2009-07-10 21:11:30 +0000 |
commit | 211ca90354772c832b6062ab771c9d5bb4d4ea93 (patch) | |
tree | 0a583b0a28b7d702ad667198221696c1ecd8d5a7 | |
parent | c44950802a6b3d7da0b383229c91e90223591ec0 (diff) |
Cleanup
svn path=/myrpki/Makefile; revision=2604
-rw-r--r-- | myrpki/Makefile | 2 | ||||
-rw-r--r-- | myrpki/myrpki.conf | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/myrpki/Makefile b/myrpki/Makefile index 01573142..1b39cbb1 100644 --- a/myrpki/Makefile +++ b/myrpki/Makefile @@ -7,7 +7,7 @@ #all:: graph all:: load -myrpki.xml: myrpki.py asns.csv prefixes.csv roas.csv validity.csv children.csv parents.csv +myrpki.xml: myrpki.py asns.csv children.csv parents.csv prefixes.csv roas.csv python myrpki.py lint: myrpki.xml myrpki.rng diff --git a/myrpki/myrpki.conf b/myrpki/myrpki.conf index 65c3b18a..4fad1299 100644 --- a/myrpki/myrpki.conf +++ b/myrpki/myrpki.conf @@ -12,7 +12,6 @@ children_csv = children.csv parents_csv = parents.csv prefix_csv = prefixes.csv asn_csv = asns.csv -repositories_csv = repositories.csv xml_filename = myrpki.xml bpki_directory = bpki.myrpki repository_bpki_certificate = bpki.pubd/ca.cer |