aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/doc.RPKI.CA.UI.GUI9
-rw-r--r--doc/manual.pdfbin494049 -> 493663 bytes
2 files changed, 2 insertions, 7 deletions
diff --git a/doc/doc.RPKI.CA.UI.GUI b/doc/doc.RPKI.CA.UI.GUI
index ec970479..8871d802 100644
--- a/doc/doc.RPKI.CA.UI.GUI
+++ b/doc/doc.RPKI.CA.UI.GUI
@@ -1,3 +1,5 @@
+* wiki:GUI/UserModel
+
****** GUI Installation ******
These steps assume that you have already installed and configured the other CA
@@ -257,10 +259,3 @@ advance to check.
07-route view.jpg
***** Ghostbusters etc. are Similar *****
-
-****** User Management ******
-
-The web portal uses a model where users are distinct from resource holders. A
-user is authorized to log into the web portal, and may be granted permission to
-manage zero or more resource holders. The same name may be used as both a user
-and resource holder for simple cases where there is a one-to-one mapping.
diff --git a/doc/manual.pdf b/doc/manual.pdf
index 439d8543..91e5e778 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ