diff options
Diffstat (limited to 'myrpki/Makefile')
| -rw-r--r-- | myrpki/Makefile | 2 |
1 files changed, 1 insertions, 1 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 |