aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.RPKI.CA.Configuration.rootd
diff options
context:
space:
mode:
authorRPKI Documentation Robot <docbot@rpki.net>2013-06-04 03:30:07 +0000
committerRPKI Documentation Robot <docbot@rpki.net>2013-06-04 03:30:07 +0000
commitac7ce839bfdbb36e66ebb9cf9c8a011a881a2c90 (patch)
tree4aef7f0e0fd461c7f38f0aa8ab074c2ce9011cbd /doc/doc.RPKI.CA.Configuration.rootd
parentca907e3e75da1fd646c012620563345729b5febd (diff)
Automatic pull of documentation from Wiki.
svn path=/trunk/; revision=5364
Diffstat (limited to 'doc/doc.RPKI.CA.Configuration.rootd')
-rw-r--r--doc/doc.RPKI.CA.Configuration.rootd5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/doc.RPKI.CA.Configuration.rootd b/doc/doc.RPKI.CA.Configuration.rootd
index ebb93d71..c3efba0f 100644
--- a/doc/doc.RPKI.CA.Configuration.rootd
+++ b/doc/doc.RPKI.CA.Configuration.rootd
@@ -19,8 +19,9 @@ Don't run rootd unless you're sure that you need to do so.
Still think you need to run rootd? OK, but remember, you have been warned....
rootd's default configuration file is the system rpki.conf file. Start rootd
-with -c filename to choose a different configuration file. All options are in
-the section [rootd]. Certificates and keys may be in either DER or PEM format.
+with "-c filename" to choose a different configuration file. All options are in
+the "[rootd]" section. Certificates and keys may be in either DER or PEM
+format.
***** bpki-ta *****