diff options
| -rw-r--r-- | scripts/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 0508953a..0b370b43 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -42,3 +42,6 @@ resource-cert-samples/.stamp: generate-testrepo.py Makefile wraptest: all (echo '<wrapper>'; python xml-parse-test.py; echo '</wrapper>') | fgrep -v '<?xml' | xmlindent + +doxygen: + cd rpki && doxygen |