Automatic pull of documentation from Wiki.

svn path=/trunk/; revision=5369

2 files changed, 4 insertions, 3 deletions

diff --git a/doc/doc.RPKI.CA.Configuration b/doc/doc.RPKI.CA.Configuration
index ac5791a6..eab722c8 100644
--- a/doc/doc.RPKI.CA.Configuration
+++ b/doc/doc.RPKI.CA.Configuration
@@ -7,9 +7,10 @@ configuration file, but for most uses this is unnecessarily complicated. The
 recommended approach is to use a single configuration file, and to put all of
 the parameters that a normal user might need to change into a single section of
 that configuration file, then reference these common settings from the program-
-specific sections of the configuration file via macro expansion. The
-configuration file parser supports a limited version of the macro facility used
-in OpenSSL's configuration parser. An expression such as
+specific sections of the configuration file via macro expansion.
+
+The configuration file parser supports a limited version of the macro facility
+used in OpenSSL's configuration parser. An expression such as
 
   foo = ${bar::baz}
 
diff --git a/doc/manual.pdf b/doc/manual.pdf
index e60f2e3b..23e3cba7 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf