diff options
| -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 |