diff options
| -rw-r--r-- | rpkid/INSTALLATION | 2 | ||||
| -rw-r--r-- | rpkid/Makefile | 2 | ||||
| -rw-r--r-- | rpkid/OPERATION | 2 | ||||
| -rw-r--r-- | rpkid/irdbd.pdf | bin | 3500 -> 3500 bytes | |||
| -rw-r--r-- | rpkid/rpki-db-schema.pdf | bin | 7493 -> 7493 bytes |
5 files changed, 3 insertions, 3 deletions
diff --git a/rpkid/INSTALLATION b/rpkid/INSTALLATION index f3cbf392..165f5fd1 100644 --- a/rpkid/INSTALLATION +++ b/rpkid/INSTALLATION @@ -70,5 +70,5 @@ Installation __________________________________________________________________ - Generated on Tue Apr 29 16:40:17 2008 for Resource PKI Engine by + Generated on Tue Apr 29 20:43:06 2008 for Resource PKI Engine by doxygen 1.5.5 diff --git a/rpkid/Makefile b/rpkid/Makefile index 989b1ac4..a7b6faa0 100644 --- a/rpkid/Makefile +++ b/rpkid/Makefile @@ -55,7 +55,7 @@ TWEAKHTML := xsltproc --html tweak-doc.xsl HTML2TEXT := lynx -dump -nolist -force_html /dev/stdin dox doxygen: - cd rpki && doxygen + cd rpki && TZ='' doxygen ${TWEAKHTML} rpki/html/Installation.html | ${HTML2TEXT} >INSTALLATION ${TWEAKHTML} rpki/html/Operation.html | ${HTML2TEXT} >OPERATION diff --git a/rpkid/OPERATION b/rpkid/OPERATION index 8d3b8c56..11210a81 100644 --- a/rpkid/OPERATION +++ b/rpkid/OPERATION @@ -623,5 +623,5 @@ testpoke.py __________________________________________________________________ - Generated on Tue Apr 29 16:40:17 2008 for Resource PKI Engine by + Generated on Tue Apr 29 20:43:06 2008 for Resource PKI Engine by doxygen 1.5.5 diff --git a/rpkid/irdbd.pdf b/rpkid/irdbd.pdf Binary files differindex 71cca68a..1fe31970 100644 --- a/rpkid/irdbd.pdf +++ b/rpkid/irdbd.pdf diff --git a/rpkid/rpki-db-schema.pdf b/rpkid/rpki-db-schema.pdf Binary files differindex a9c50395..3a2dd280 100644 --- a/rpkid/rpki-db-schema.pdf +++ b/rpkid/rpki-db-schema.pdf |