regen

svn path=/rpkid/doc/Installation; revision=1913

6 files changed, 22 insertions, 13 deletions

diff --git a/rpkid/doc/Installation b/rpkid/doc/Installation
index 49d7e068..8649bf08 100644
--- a/rpkid/doc/Installation
+++ b/rpkid/doc/Installation
@@ -117,5 +117,5 @@ Installation Guide
      __________________________________________________________________
 
 
-    Generated on Mon Jun 16 22:22:49 2008 for RPKI Engine by  doxygen
+    Generated on Sat Jun 21 07:55:37 2008 for RPKI Engine by  doxygen
     1.5.5
diff --git a/rpkid/doc/Left-right b/rpkid/doc/Left-right
index aabfb4a7..a2860f60 100644
--- a/rpkid/doc/Left-right
+++ b/rpkid/doc/Left-right
@@ -473,5 +473,5 @@ Error handling
      __________________________________________________________________
 
 
-    Generated on Mon Jun 16 22:22:49 2008 for RPKI Engine by  doxygen
+    Generated on Sat Jun 21 07:55:37 2008 for RPKI Engine by  doxygen
     1.5.5
diff --git a/rpkid/doc/Operation b/rpkid/doc/Operation
index 88098527..9f3c7c46 100644
--- a/rpkid/doc/Operation
+++ b/rpkid/doc/Operation
@@ -232,19 +232,28 @@ rootd.py
 
      * server-port: TCP port on which to listen for HTTPS connections.
 
-     * rpki-key: Name of file containing RSA key to use in signing
+     * rpki-root-key: Name of file containing RSA key to use in signing
        resource certificates.
 
-     * rpki-issuer: Name of file containing self-signed root resource
-       certificate corresponding to rpki-key.
+     * rpki-root-cert: Name of file containing self-signed root resource
+       certificate corresponding to rpki-root-key.
 
-     * rpki-subject-filename: Name of file that rootd should use to save
-       the one and only certificate it issues.
+     * rpki-root-dir: Name of directory where rootd should write RPKI
+       subject certificate, manifest, and CRL.
 
-     * rpki-pkcs10-filename: Name of file that rootd should use when
-       saving a copy of the received PKCS #10 request for a resource
-       certificate. This is only used for debugging. Default is not to
-       save the PKCS #10 request.
+     * rpki-subject-cert: Name of file that rootd should use to save the
+       one and only certificate it issues. Default is "Subroot.cer".
+
+     * rpki-root-crl: Name of file to which rootd should save its RPKI
+       CRL. Default is "Root.crl".
+
+     * rpki-root-manifest: Name of file to which rootd should save its
+       RPKI manifest. Default is "Root.mnf".
+
+     * rpki-subject-pkcs10: Name of file that rootd should use when saving
+       a copy of the received PKCS #10 request for a resource certificate.
+       This is only used for debugging. Default is not to save the PKCS
+       #10 request.
 
 irdbd.py
 
@@ -685,5 +694,5 @@ testpoke.py
      __________________________________________________________________
 
 
-    Generated on Mon Jun 16 22:22:49 2008 for RPKI Engine by  doxygen
+    Generated on Sat Jun 21 07:55:37 2008 for RPKI Engine by  doxygen
     1.5.5
diff --git a/rpkid/doc/Publication b/rpkid/doc/Publication
index 7ead01f8..819f8a53 100644
--- a/rpkid/doc/Publication
+++ b/rpkid/doc/Publication
@@ -220,5 +220,5 @@ Additional access control considerations.
      __________________________________________________________________
 
 
-    Generated on Mon Jun 16 22:22:49 2008 for RPKI Engine by  doxygen
+    Generated on Sat Jun 21 07:55:37 2008 for RPKI Engine by  doxygen
     1.5.5
diff --git a/rpkid/doc/manual.pdf b/rpkid/doc/manual.pdf
index c1dfdf09..0b59afd5 100644
--- a/rpkid/doc/manual.pdf
+++ b/rpkid/doc/manual.pdf
diff --git a/rpkid/doc/manual.tar.gz b/rpkid/doc/manual.tar.gz
index f2e9c696..e992f14c 100644
--- a/rpkid/doc/manual.tar.gz
+++ b/rpkid/doc/manual.tar.gz