aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/doc.RPKI.CA.UI.GUI2
-rw-r--r--doc/manual.pdfbin487115 -> 487118 bytes
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc.RPKI.CA.UI.GUI b/doc/doc.RPKI.CA.UI.GUI
index 5fad466f..98b27dc8 100644
--- a/doc/doc.RPKI.CA.UI.GUI
+++ b/doc/doc.RPKI.CA.UI.GUI
@@ -89,7 +89,7 @@ By default, the web portal is run in embedded mode in mod_wsgi, which means it
runs inside the apache process. However, you can make the web portal run in
daemon mode as a different user using mod_wsgi.
- $ ./configure --enable-daemon-mode[=user[:group]]
+ $ ./configure --enable-wsgi-daemon-mode[=user[:group]]
Where user is the optional user to run the web portal as, and group is the
optional group to run the web portal as. If user is not specified, it will run
diff --git a/doc/manual.pdf b/doc/manual.pdf
index f9f1de13..d0654e37 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ