diff options
| -rw-r--r-- | docs/left-right-protocol | 4 | ||||
| -rw-r--r-- | docs/publication-protocol | 4 | ||||
| -rw-r--r-- | rpkid/INSTALLATION | 4 | ||||
| -rw-r--r-- | rpkid/Makefile | 1 | ||||
| -rw-r--r-- | rpkid/OPERATION | 4 | ||||
| -rw-r--r-- | rpkid/rpki/Doxyfile | 6 | ||||
| -rw-r--r-- | rpkid/rpki/__init__.py | 2 |
7 files changed, 13 insertions, 12 deletions
diff --git a/docs/left-right-protocol b/docs/left-right-protocol index 1c85d680..6fba335b 100644 --- a/docs/left-right-protocol +++ b/docs/left-right-protocol @@ -473,5 +473,5 @@ Error handling __________________________________________________________________ - Generated on Wed Jun 11 18:58:48 2008 for Resource PKI Engine by - doxygen 1.5.5 + Generated on Wed Jun 11 20:53:54 2008 for RPKI Engine by doxygen + 1.5.5 diff --git a/docs/publication-protocol b/docs/publication-protocol index e7c27406..cd9d55ff 100644 --- a/docs/publication-protocol +++ b/docs/publication-protocol @@ -223,5 +223,5 @@ Additional access control considerations. __________________________________________________________________ - Generated on Wed Jun 11 18:58:48 2008 for Resource PKI Engine by - doxygen 1.5.5 + Generated on Wed Jun 11 20:53:54 2008 for RPKI Engine by doxygen + 1.5.5 diff --git a/rpkid/INSTALLATION b/rpkid/INSTALLATION index 122a8bd8..2540ce89 100644 --- a/rpkid/INSTALLATION +++ b/rpkid/INSTALLATION @@ -68,5 +68,5 @@ Installation __________________________________________________________________ - Generated on Wed Jun 11 18:58:48 2008 for Resource PKI Engine by - doxygen 1.5.5 + Generated on Wed Jun 11 20:53:54 2008 for RPKI Engine by doxygen + 1.5.5 diff --git a/rpkid/Makefile b/rpkid/Makefile index 2a9640ca..b2939a63 100644 --- a/rpkid/Makefile +++ b/rpkid/Makefile @@ -79,6 +79,7 @@ HTML2TEXT := lynx -dump -nolist -force_html /dev/stdin dox doxygen: cd rpki && TZ='' doxygen + cd rpki/latex && TZ='' make >/dev/null 2>&1 ${TWEAKHTML} rpki/html/Installation.html | ${HTML2TEXT} >INSTALLATION ${TWEAKHTML} rpki/html/Operation.html | ${HTML2TEXT} >OPERATION ${TWEAKHTML} rpki/html/Left-right.html | ${HTML2TEXT} >../docs/left-right-protocol diff --git a/rpkid/OPERATION b/rpkid/OPERATION index 1a1f53b6..836e76be 100644 --- a/rpkid/OPERATION +++ b/rpkid/OPERATION @@ -621,5 +621,5 @@ testpoke.py __________________________________________________________________ - Generated on Wed Jun 11 18:58:48 2008 for Resource PKI Engine by - doxygen 1.5.5 + Generated on Wed Jun 11 20:53:54 2008 for RPKI Engine by doxygen + 1.5.5 diff --git a/rpkid/rpki/Doxyfile b/rpkid/rpki/Doxyfile index 276c0967..23ed3f1b 100644 --- a/rpkid/rpki/Doxyfile +++ b/rpkid/rpki/Doxyfile @@ -27,13 +27,13 @@ DOXYFILE_ENCODING = UTF-8 # The PROJECT_NAME tag is a single word (or a sequence of words surrounded # by quotes) that should identify the project. -PROJECT_NAME = "Resource PKI Engine" +PROJECT_NAME = "RPKI Engine" # The PROJECT_NUMBER tag can be used to enter a project or revision number. # This could be handy for archiving the generated documentation or # if some version control system is used. -PROJECT_NUMBER = RPKI +PROJECT_NUMBER = 1.0 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) # base path where the generated documentation will be put. @@ -773,7 +773,7 @@ TREEVIEW_WIDTH = 250 # If the GENERATE_LATEX tag is set to YES (the default) Doxygen will # generate Latex output. -GENERATE_LATEX = NO +GENERATE_LATEX = YES # The LATEX_OUTPUT tag is used to specify where the LaTeX docs will be put. # If a relative path is entered the value of OUTPUT_DIRECTORY will be diff --git a/rpkid/rpki/__init__.py b/rpkid/rpki/__init__.py index c65f025a..26efbf6a 100644 --- a/rpkid/rpki/__init__.py +++ b/rpkid/rpki/__init__.py @@ -29,7 +29,7 @@ # though, and I see no obvious way to automate them. Keeping the # documentation with the config file options would be nice. Someday. -## @mainpage +## @mainpage RPKI Engine Reference Manual ## ## This collection of Python modules implements a prototype of the ## RPKI Engine. This is a work in progress. |