diff options
Diffstat (limited to 'rpkid')
| -rw-r--r-- | rpkid/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/rpkid/Makefile b/rpkid/Makefile index d9d056b2..d20d2c40 100644 --- a/rpkid/Makefile +++ b/rpkid/Makefile @@ -81,8 +81,10 @@ eps: doc/irdbd.eps doc/pubd.eps doc/rpkid.eps doc/rpkid-bpki.eps doc/pubd-bpki.e png: doc/irdbd.png doc/pubd.png doc/rpkid.png doc/rpkid-bpki.png doc/pubd-bpki.png +docclean: + rm -rf doc/html doc/latex doc/xml + html: dot eps png -# rm -rf doc/html doc/latex doc/xml TZ='' doxygen tgz: html |