96 files changed, 30 insertions, 0 deletions
diff --git a/doc/README.md b/doc/README.md
new file mode 100644
index 00000000..ab29e43e
--- /dev/null
+++ b/doc/README.md
@@ -0,0 +1,30 @@
+# Documentation for the Dragon Research Labs rpki.net RPKI toolkit
+
+Documentation is currently undergoing revision, albeit in fits and starts.
+
+## Quick Start Guides
+
+Coming soon.
+
+## (Old) User's Manual
+
+The [User's Manual](manual/).  This is old, and corresponds, roughly,
+to the `old-trunk` branch.  Portions of it are now obsolete, but it
+may still be useful as a general guide to some of the more obscure
+bits of the software.
+
+If you find a place where the code and the manual disagree, the code
+is probably right.
+
+## Wiki dump
+
+[Content salvaged from old trac.rpki.net wiki](wiki-dump/).  This is
+mostly for archival, although some pieces of it may still be directly
+useful.
+
+## Internals documentation
+
+Not written yet.  At one point we experimented with Doxygen, but the
+results were not particularly useful.  But that was years ago, and
+Doxygen has undergone a lot of development since that time, so it
+might be worth another try.
diff --git a/doc/00.RPKI.md b/doc/manual/00.RPKI.md
index 30a830e1..30a830e1 100644
--- a/doc/00.RPKI.md
+++ b/doc/manual/00.RPKI.md
diff --git a/doc/00.RPKI.wiki b/doc/manual/00.RPKI.wiki
index aaf59d4e..aaf59d4e 100644
--- a/doc/00.RPKI.wiki
+++ b/doc/manual/00.RPKI.wiki
diff --git a/doc/01.RPKI.Installation.md b/doc/manual/01.RPKI.Installation.md
index c530ee7e..c530ee7e 100644
--- a/doc/01.RPKI.Installation.md
+++ b/doc/manual/01.RPKI.Installation.md
diff --git a/doc/01.RPKI.Installation.wiki b/doc/manual/01.RPKI.Installation.wiki
index 89b9225b..89b9225b 100644
--- a/doc/01.RPKI.Installation.wiki
+++ b/doc/manual/01.RPKI.Installation.wiki
diff --git a/doc/02.RPKI.Installation.DebianPackages.md b/doc/manual/02.RPKI.Installation.DebianPackages.md
index 4ac60d65..4ac60d65 100644
--- a/doc/02.RPKI.Installation.DebianPackages.md
+++ b/doc/manual/02.RPKI.Installation.DebianPackages.md
diff --git a/doc/02.RPKI.Installation.DebianPackages.wiki b/doc/manual/02.RPKI.Installation.DebianPackages.wiki
index fdf5b1d3..fdf5b1d3 100644
--- a/doc/02.RPKI.Installation.DebianPackages.wiki
+++ b/doc/manual/02.RPKI.Installation.DebianPackages.wiki
diff --git a/doc/03.RPKI.Installation.FreeBSDPorts.md b/doc/manual/03.RPKI.Installation.FreeBSDPorts.md
index d4690425..d4690425 100644
--- a/doc/03.RPKI.Installation.FreeBSDPorts.md
+++ b/doc/manual/03.RPKI.Installation.FreeBSDPorts.md
diff --git a/doc/03.RPKI.Installation.FreeBSDPorts.wiki b/doc/manual/03.RPKI.Installation.FreeBSDPorts.wiki
index bff99b78..bff99b78 100644
--- a/doc/03.RPKI.Installation.FreeBSDPorts.wiki
+++ b/doc/manual/03.RPKI.Installation.FreeBSDPorts.wiki
diff --git a/doc/04.RPKI.Installation.FromSource.md b/doc/manual/04.RPKI.Installation.FromSource.md
index 71d77821..71d77821 100644
--- a/doc/04.RPKI.Installation.FromSource.md
+++ b/doc/manual/04.RPKI.Installation.FromSource.md
diff --git a/doc/04.RPKI.Installation.FromSource.wiki b/doc/manual/04.RPKI.Installation.FromSource.wiki
index f768e3ea..f768e3ea 100644
--- a/doc/04.RPKI.Installation.FromSource.wiki
+++ b/doc/manual/04.RPKI.Installation.FromSource.wiki
diff --git a/doc/05.RPKI.RP.md b/doc/manual/05.RPKI.RP.md
index bc42f6f6..bc42f6f6 100644
--- a/doc/05.RPKI.RP.md
+++ b/doc/manual/05.RPKI.RP.md
diff --git a/doc/05.RPKI.RP.wiki b/doc/manual/05.RPKI.RP.wiki
index a05cb2ab..a05cb2ab 100644
--- a/doc/05.RPKI.RP.wiki
+++ b/doc/manual/05.RPKI.RP.wiki
diff --git a/doc/06.RPKI.RP.rcynic.md b/doc/manual/06.RPKI.RP.rcynic.md
index 39a05fa9..39a05fa9 100644
--- a/doc/06.RPKI.RP.rcynic.md
+++ b/doc/manual/06.RPKI.RP.rcynic.md
diff --git a/doc/06.RPKI.RP.rcynic.wiki b/doc/manual/06.RPKI.RP.rcynic.wiki
index 6dc30ebe..6dc30ebe 100644
--- a/doc/06.RPKI.RP.rcynic.wiki
+++ b/doc/manual/06.RPKI.RP.rcynic.wiki
diff --git a/doc/07.RPKI.RP.rpki-rtr.md b/doc/manual/07.RPKI.RP.rpki-rtr.md
index 59f6fdb0..59f6fdb0 100644
--- a/doc/07.RPKI.RP.rpki-rtr.md
+++ b/doc/manual/07.RPKI.RP.rpki-rtr.md
diff --git a/doc/07.RPKI.RP.rpki-rtr.wiki b/doc/manual/07.RPKI.RP.rpki-rtr.wiki
index 17bb5def..17bb5def 100644
--- a/doc/07.RPKI.RP.rpki-rtr.wiki
+++ b/doc/manual/07.RPKI.RP.rpki-rtr.wiki
diff --git a/doc/08.RPKI.RP.RunningUnderCron.md b/doc/manual/08.RPKI.RP.RunningUnderCron.md
index bea2e4dc..bea2e4dc 100644
--- a/doc/08.RPKI.RP.RunningUnderCron.md
+++ b/doc/manual/08.RPKI.RP.RunningUnderCron.md
diff --git a/doc/08.RPKI.RP.RunningUnderCron.wiki b/doc/manual/08.RPKI.RP.RunningUnderCron.wiki
index dd323c1a..dd323c1a 100644
--- a/doc/08.RPKI.RP.RunningUnderCron.wiki
+++ b/doc/manual/08.RPKI.RP.RunningUnderCron.wiki
diff --git a/doc/09.RPKI.RP.HierarchicalRsync.md b/doc/manual/09.RPKI.RP.HierarchicalRsync.md
index 196f0d2d..196f0d2d 100644
--- a/doc/09.RPKI.RP.HierarchicalRsync.md
+++ b/doc/manual/09.RPKI.RP.HierarchicalRsync.md
diff --git a/doc/09.RPKI.RP.HierarchicalRsync.wiki b/doc/manual/09.RPKI.RP.HierarchicalRsync.wiki
index 6727b073..6727b073 100644
--- a/doc/09.RPKI.RP.HierarchicalRsync.wiki
+++ b/doc/manual/09.RPKI.RP.HierarchicalRsync.wiki
diff --git a/doc/10.RPKI.RP.rcynicChroot.md b/doc/manual/10.RPKI.RP.rcynicChroot.md
index 27db8b03..27db8b03 100644
--- a/doc/10.RPKI.RP.rcynicChroot.md
+++ b/doc/manual/10.RPKI.RP.rcynicChroot.md
diff --git a/doc/10.RPKI.RP.rcynicChroot.wiki b/doc/manual/10.RPKI.RP.rcynicChroot.wiki
index d46be8a4..d46be8a4 100644
--- a/doc/10.RPKI.RP.rcynicChroot.wiki
+++ b/doc/manual/10.RPKI.RP.rcynicChroot.wiki
diff --git a/doc/11.RPKI.CA.md b/doc/manual/11.RPKI.CA.md
index a26f91e9..a26f91e9 100644
--- a/doc/11.RPKI.CA.md
+++ b/doc/manual/11.RPKI.CA.md
diff --git a/doc/11.RPKI.CA.wiki b/doc/manual/11.RPKI.CA.wiki
index 9fd1f7f0..9fd1f7f0 100644
--- a/doc/11.RPKI.CA.wiki
+++ b/doc/manual/11.RPKI.CA.wiki
diff --git a/doc/12.RPKI.CA.Configuration.md b/doc/manual/12.RPKI.CA.Configuration.md
index 22804b18..22804b18 100644
--- a/doc/12.RPKI.CA.Configuration.md
+++ b/doc/manual/12.RPKI.CA.Configuration.md
diff --git a/doc/12.RPKI.CA.Configuration.wiki b/doc/manual/12.RPKI.CA.Configuration.wiki
index 410215d8..410215d8 100644
--- a/doc/12.RPKI.CA.Configuration.wiki
+++ b/doc/manual/12.RPKI.CA.Configuration.wiki
diff --git a/doc/13.RPKI.CA.Configuration.Common.md b/doc/manual/13.RPKI.CA.Configuration.Common.md
index da22b8f2..da22b8f2 100644
--- a/doc/13.RPKI.CA.Configuration.Common.md
+++ b/doc/manual/13.RPKI.CA.Configuration.Common.md
diff --git a/doc/13.RPKI.CA.Configuration.Common.wiki b/doc/manual/13.RPKI.CA.Configuration.Common.wiki
index 2b1d3163..2b1d3163 100644
--- a/doc/13.RPKI.CA.Configuration.Common.wiki
+++ b/doc/manual/13.RPKI.CA.Configuration.Common.wiki
diff --git a/doc/14.RPKI.CA.Configuration.myrpki.md b/doc/manual/14.RPKI.CA.Configuration.myrpki.md
index bf798d65..bf798d65 100644
--- a/doc/14.RPKI.CA.Configuration.myrpki.md
+++ b/doc/manual/14.RPKI.CA.Configuration.myrpki.md
diff --git a/doc/14.RPKI.CA.Configuration.myrpki.wiki b/doc/manual/14.RPKI.CA.Configuration.myrpki.wiki
index d5611841..d5611841 100644
--- a/doc/14.RPKI.CA.Configuration.myrpki.wiki
+++ b/doc/manual/14.RPKI.CA.Configuration.myrpki.wiki
diff --git a/doc/15.RPKI.CA.Configuration.rpkid.md b/doc/manual/15.RPKI.CA.Configuration.rpkid.md
index e3a31433..e3a31433 100644
--- a/doc/15.RPKI.CA.Configuration.rpkid.md
+++ b/doc/manual/15.RPKI.CA.Configuration.rpkid.md
diff --git a/doc/15.RPKI.CA.Configuration.rpkid.wiki b/doc/manual/15.RPKI.CA.Configuration.rpkid.wiki
index 211dc772..211dc772 100644
--- a/doc/15.RPKI.CA.Configuration.rpkid.wiki
+++ b/doc/manual/15.RPKI.CA.Configuration.rpkid.wiki
diff --git a/doc/16.RPKI.CA.Configuration.irdbd.md b/doc/manual/16.RPKI.CA.Configuration.irdbd.md
index a02324e0..a02324e0 100644
--- a/doc/16.RPKI.CA.Configuration.irdbd.md
+++ b/doc/manual/16.RPKI.CA.Configuration.irdbd.md
diff --git a/doc/16.RPKI.CA.Configuration.irdbd.wiki b/doc/manual/16.RPKI.CA.Configuration.irdbd.wiki
index 6992e48e..6992e48e 100644
--- a/doc/16.RPKI.CA.Configuration.irdbd.wiki
+++ b/doc/manual/16.RPKI.CA.Configuration.irdbd.wiki
diff --git a/doc/17.RPKI.CA.Configuration.pubd.md b/doc/manual/17.RPKI.CA.Configuration.pubd.md
index 14366bda..14366bda 100644
--- a/doc/17.RPKI.CA.Configuration.pubd.md
+++ b/doc/manual/17.RPKI.CA.Configuration.pubd.md
diff --git a/doc/17.RPKI.CA.Configuration.pubd.wiki b/doc/manual/17.RPKI.CA.Configuration.pubd.wiki
index 87dbb538..87dbb538 100644
--- a/doc/17.RPKI.CA.Configuration.pubd.wiki
+++ b/doc/manual/17.RPKI.CA.Configuration.pubd.wiki
diff --git a/doc/18.RPKI.CA.Configuration.rootd.md b/doc/manual/18.RPKI.CA.Configuration.rootd.md
index 939aa0ff..939aa0ff 100644
--- a/doc/18.RPKI.CA.Configuration.rootd.md
+++ b/doc/manual/18.RPKI.CA.Configuration.rootd.md
diff --git a/doc/18.RPKI.CA.Configuration.rootd.wiki b/doc/manual/18.RPKI.CA.Configuration.rootd.wiki
index 172460cf..172460cf 100644
--- a/doc/18.RPKI.CA.Configuration.rootd.wiki
+++ b/doc/manual/18.RPKI.CA.Configuration.rootd.wiki
diff --git a/doc/19.RPKI.CA.Configuration.CreatingRoot.md b/doc/manual/19.RPKI.CA.Configuration.CreatingRoot.md
index 777cf6e0..777cf6e0 100644
--- a/doc/19.RPKI.CA.Configuration.CreatingRoot.md
+++ b/doc/manual/19.RPKI.CA.Configuration.CreatingRoot.md
diff --git a/doc/19.RPKI.CA.Configuration.CreatingRoot.wiki b/doc/manual/19.RPKI.CA.Configuration.CreatingRoot.wiki
index 2661a111..2661a111 100644
--- a/doc/19.RPKI.CA.Configuration.CreatingRoot.wiki
+++ b/doc/manual/19.RPKI.CA.Configuration.CreatingRoot.wiki
diff --git a/doc/20.RPKI.CA.Configuration.web_portal.md b/doc/manual/20.RPKI.CA.Configuration.web_portal.md
index d04bd65e..d04bd65e 100644
--- a/doc/20.RPKI.CA.Configuration.web_portal.md
+++ b/doc/manual/20.RPKI.CA.Configuration.web_portal.md
diff --git a/doc/20.RPKI.CA.Configuration.web_portal.wiki b/doc/manual/20.RPKI.CA.Configuration.web_portal.wiki
index 9df6487f..9df6487f 100644
--- a/doc/20.RPKI.CA.Configuration.web_portal.wiki
+++ b/doc/manual/20.RPKI.CA.Configuration.web_portal.wiki
diff --git a/doc/21.RPKI.CA.Configuration.autoconf.md b/doc/manual/21.RPKI.CA.Configuration.autoconf.md
index 0d803786..0d803786 100644
--- a/doc/21.RPKI.CA.Configuration.autoconf.md
+++ b/doc/manual/21.RPKI.CA.Configuration.autoconf.md
diff --git a/doc/21.RPKI.CA.Configuration.autoconf.wiki b/doc/manual/21.RPKI.CA.Configuration.autoconf.wiki
index 6a07de8c..6a07de8c 100644
--- a/doc/21.RPKI.CA.Configuration.autoconf.wiki
+++ b/doc/manual/21.RPKI.CA.Configuration.autoconf.wiki
diff --git a/doc/22.RPKI.CA.Configuration.Tests.md b/doc/manual/22.RPKI.CA.Configuration.Tests.md
index 6003788a..6003788a 100644
--- a/doc/22.RPKI.CA.Configuration.Tests.md
+++ b/doc/manual/22.RPKI.CA.Configuration.Tests.md
diff --git a/doc/22.RPKI.CA.Configuration.Tests.wiki b/doc/manual/22.RPKI.CA.Configuration.Tests.wiki
index 8e349185..8e349185 100644
--- a/doc/22.RPKI.CA.Configuration.Tests.wiki
+++ b/doc/manual/22.RPKI.CA.Configuration.Tests.wiki
diff --git a/doc/23.RPKI.CA.Configuration.DifferentServer.md b/doc/manual/23.RPKI.CA.Configuration.DifferentServer.md
index a3f3e794..a3f3e794 100644
--- a/doc/23.RPKI.CA.Configuration.DifferentServer.md
+++ b/doc/manual/23.RPKI.CA.Configuration.DifferentServer.md
diff --git a/doc/23.RPKI.CA.Configuration.DifferentServer.wiki b/doc/manual/23.RPKI.CA.Configuration.DifferentServer.wiki
index 3e31bc2b..3e31bc2b 100644
--- a/doc/23.RPKI.CA.Configuration.DifferentServer.wiki
+++ b/doc/manual/23.RPKI.CA.Configuration.DifferentServer.wiki
diff --git a/doc/24.RPKI.CA.MySQLSetup.md b/doc/manual/24.RPKI.CA.MySQLSetup.md
index bad9dd8e..bad9dd8e 100644
--- a/doc/24.RPKI.CA.MySQLSetup.md
+++ b/doc/manual/24.RPKI.CA.MySQLSetup.md
diff --git a/doc/24.RPKI.CA.MySQLSetup.wiki b/doc/manual/24.RPKI.CA.MySQLSetup.wiki
index 13d88be1..13d88be1 100644
--- a/doc/24.RPKI.CA.MySQLSetup.wiki
+++ b/doc/manual/24.RPKI.CA.MySQLSetup.wiki
diff --git a/doc/25.RPKI.CA.OOBSetup.md b/doc/manual/25.RPKI.CA.OOBSetup.md
index b0754f07..b0754f07 100644
--- a/doc/25.RPKI.CA.OOBSetup.md
+++ b/doc/manual/25.RPKI.CA.OOBSetup.md
diff --git a/doc/25.RPKI.CA.OOBSetup.wiki b/doc/manual/25.RPKI.CA.OOBSetup.wiki
index dde87608..dde87608 100644
--- a/doc/25.RPKI.CA.OOBSetup.wiki
+++ b/doc/manual/25.RPKI.CA.OOBSetup.wiki
diff --git a/doc/26.RPKI.CA.UI.md b/doc/manual/26.RPKI.CA.UI.md
index 8f05a518..8f05a518 100644
--- a/doc/26.RPKI.CA.UI.md
+++ b/doc/manual/26.RPKI.CA.UI.md
diff --git a/doc/26.RPKI.CA.UI.wiki b/doc/manual/26.RPKI.CA.UI.wiki
index 6679c5ef..6679c5ef 100644
--- a/doc/26.RPKI.CA.UI.wiki
+++ b/doc/manual/26.RPKI.CA.UI.wiki
diff --git a/doc/27.RPKI.CA.UI.rpkic.md b/doc/manual/27.RPKI.CA.UI.rpkic.md
index 1a2df053..1a2df053 100644
--- a/doc/27.RPKI.CA.UI.rpkic.md
+++ b/doc/manual/27.RPKI.CA.UI.rpkic.md
diff --git a/doc/27.RPKI.CA.UI.rpkic.wiki b/doc/manual/27.RPKI.CA.UI.rpkic.wiki
index 044372d3..044372d3 100644
--- a/doc/27.RPKI.CA.UI.rpkic.wiki
+++ b/doc/manual/27.RPKI.CA.UI.rpkic.wiki
diff --git a/doc/28.RPKI.CA.UI.GUI.00.jpg b/doc/manual/28.RPKI.CA.UI.GUI.00.jpg
index e912116f..e912116f 100644
--- a/doc/28.RPKI.CA.UI.GUI.00.jpg
+++ b/doc/manual/28.RPKI.CA.UI.GUI.00.jpg
diff --git a/doc/28.RPKI.CA.UI.GUI.01.jpg b/doc/manual/28.RPKI.CA.UI.GUI.01.jpg
index 8aad1db9..8aad1db9 100644
--- a/doc/28.RPKI.CA.UI.GUI.01.jpg
+++ b/doc/manual/28.RPKI.CA.UI.GUI.01.jpg
diff --git a/doc/28.RPKI.CA.UI.GUI.02.jpg b/doc/manual/28.RPKI.CA.UI.GUI.02.jpg
index a6371ff2..a6371ff2 100644
--- a/doc/28.RPKI.CA.UI.GUI.02.jpg
+++ b/doc/manual/28.RPKI.CA.UI.GUI.02.jpg
diff --git a/doc/28.RPKI.CA.UI.GUI.03.jpg b/doc/manual/28.RPKI.CA.UI.GUI.03.jpg
index e24fa354..e24fa354 100644
--- a/doc/28.RPKI.CA.UI.GUI.03.jpg
+++ b/doc/manual/28.RPKI.CA.UI.GUI.03.jpg
diff --git a/doc/28.RPKI.CA.UI.GUI.04.jpg b/doc/manual/28.RPKI.CA.UI.GUI.04.jpg
index 675bc511..675bc511 100644
--- a/doc/28.RPKI.CA.UI.GUI.04.jpg
+++ b/doc/manual/28.RPKI.CA.UI.GUI.04.jpg
diff --git a/doc/28.RPKI.CA.UI.GUI.05.jpg b/doc/manual/28.RPKI.CA.UI.GUI.05.jpg
index aea168b0..aea168b0 100644
--- a/doc/28.RPKI.CA.UI.GUI.05.jpg
+++ b/doc/manual/28.RPKI.CA.UI.GUI.05.jpg
diff --git a/doc/28.RPKI.CA.UI.GUI.06.jpg b/doc/manual/28.RPKI.CA.UI.GUI.06.jpg
index a55c1556..a55c1556 100644
--- a/doc/28.RPKI.CA.UI.GUI.06.jpg
+++ b/doc/manual/28.RPKI.CA.UI.GUI.06.jpg
diff --git a/doc/28.RPKI.CA.UI.GUI.md b/doc/manual/28.RPKI.CA.UI.GUI.md
index bca8e9b9..bca8e9b9 100644
--- a/doc/28.RPKI.CA.UI.GUI.md
+++ b/doc/manual/28.RPKI.CA.UI.GUI.md
diff --git a/doc/28.RPKI.CA.UI.GUI.wiki b/doc/manual/28.RPKI.CA.UI.GUI.wiki
index 57f9c688..57f9c688 100644
--- a/doc/28.RPKI.CA.UI.GUI.wiki
+++ b/doc/manual/28.RPKI.CA.UI.GUI.wiki
diff --git a/doc/29.RPKI.CA.UI.GUI.Installing.md b/doc/manual/29.RPKI.CA.UI.GUI.Installing.md
index bb582b56..bb582b56 100644
--- a/doc/29.RPKI.CA.UI.GUI.Installing.md
+++ b/doc/manual/29.RPKI.CA.UI.GUI.Installing.md
diff --git a/doc/29.RPKI.CA.UI.GUI.Installing.wiki b/doc/manual/29.RPKI.CA.UI.GUI.Installing.wiki
index 9a273d8f..9a273d8f 100644
--- a/doc/29.RPKI.CA.UI.GUI.Installing.wiki
+++ b/doc/manual/29.RPKI.CA.UI.GUI.Installing.wiki
diff --git a/doc/30.RPKI.CA.UI.GUI.Upgrading.md b/doc/manual/30.RPKI.CA.UI.GUI.Upgrading.md
index 0b5c5bb1..0b5c5bb1 100644
--- a/doc/30.RPKI.CA.UI.GUI.Upgrading.md
+++ b/doc/manual/30.RPKI.CA.UI.GUI.Upgrading.md
diff --git a/doc/30.RPKI.CA.UI.GUI.Upgrading.wiki b/doc/manual/30.RPKI.CA.UI.GUI.Upgrading.wiki
index 644cbb16..644cbb16 100644
--- a/doc/30.RPKI.CA.UI.GUI.Upgrading.wiki
+++ b/doc/manual/30.RPKI.CA.UI.GUI.Upgrading.wiki
diff --git a/doc/31.RPKI.CA.UI.GUI.Upgrading.BeforeMigration.md b/doc/manual/31.RPKI.CA.UI.GUI.Upgrading.BeforeMigration.md
index a2df6f8f..a2df6f8f 100644
--- a/doc/31.RPKI.CA.UI.GUI.Upgrading.BeforeMigration.md
+++ b/doc/manual/31.RPKI.CA.UI.GUI.Upgrading.BeforeMigration.md
diff --git a/doc/31.RPKI.CA.UI.GUI.Upgrading.BeforeMigration.wiki b/doc/manual/31.RPKI.CA.UI.GUI.Upgrading.BeforeMigration.wiki
index d0098c05..d0098c05 100644
--- a/doc/31.RPKI.CA.UI.GUI.Upgrading.BeforeMigration.wiki
+++ b/doc/manual/31.RPKI.CA.UI.GUI.Upgrading.BeforeMigration.wiki
diff --git a/doc/32.RPKI.CA.UI.GUI.Configuring.md b/doc/manual/32.RPKI.CA.UI.GUI.Configuring.md
index 3c1acf54..3c1acf54 100644
--- a/doc/32.RPKI.CA.UI.GUI.Configuring.md
+++ b/doc/manual/32.RPKI.CA.UI.GUI.Configuring.md
diff --git a/doc/32.RPKI.CA.UI.GUI.Configuring.wiki b/doc/manual/32.RPKI.CA.UI.GUI.Configuring.wiki
index c2176d97..c2176d97 100644
--- a/doc/32.RPKI.CA.UI.GUI.Configuring.wiki
+++ b/doc/manual/32.RPKI.CA.UI.GUI.Configuring.wiki
diff --git a/doc/33.RPKI.CA.UI.GUI.Configuring.Apache.md b/doc/manual/33.RPKI.CA.UI.GUI.Configuring.Apache.md
index 9b81c974..9b81c974 100644
--- a/doc/33.RPKI.CA.UI.GUI.Configuring.Apache.md
+++ b/doc/manual/33.RPKI.CA.UI.GUI.Configuring.Apache.md
diff --git a/doc/33.RPKI.CA.UI.GUI.Configuring.Apache.wiki b/doc/manual/33.RPKI.CA.UI.GUI.Configuring.Apache.wiki
index 1e97dc57..1e97dc57 100644
--- a/doc/33.RPKI.CA.UI.GUI.Configuring.Apache.wiki
+++ b/doc/manual/33.RPKI.CA.UI.GUI.Configuring.Apache.wiki
diff --git a/doc/34.RPKI.CA.UI.GUI.UserModel.md b/doc/manual/34.RPKI.CA.UI.GUI.UserModel.md
index 62e859ff..62e859ff 100644
--- a/doc/34.RPKI.CA.UI.GUI.UserModel.md
+++ b/doc/manual/34.RPKI.CA.UI.GUI.UserModel.md
diff --git a/doc/34.RPKI.CA.UI.GUI.UserModel.wiki b/doc/manual/34.RPKI.CA.UI.GUI.UserModel.wiki
index bc7201f2..bc7201f2 100644
--- a/doc/34.RPKI.CA.UI.GUI.UserModel.wiki
+++ b/doc/manual/34.RPKI.CA.UI.GUI.UserModel.wiki
diff --git a/doc/35.RPKI.CA.Protocols.LeftRight.md b/doc/manual/35.RPKI.CA.Protocols.LeftRight.md
index 6aeb1189..6aeb1189 100644
--- a/doc/35.RPKI.CA.Protocols.LeftRight.md
+++ b/doc/manual/35.RPKI.CA.Protocols.LeftRight.md
diff --git a/doc/35.RPKI.CA.Protocols.LeftRight.wiki b/doc/manual/35.RPKI.CA.Protocols.LeftRight.wiki
index 0859c463..0859c463 100644
--- a/doc/35.RPKI.CA.Protocols.LeftRight.wiki
+++ b/doc/manual/35.RPKI.CA.Protocols.LeftRight.wiki
diff --git a/doc/36.RPKI.Utils.md b/doc/manual/36.RPKI.Utils.md
index aa668643..aa668643 100644
--- a/doc/36.RPKI.Utils.md
+++ b/doc/manual/36.RPKI.Utils.md
diff --git a/doc/36.RPKI.Utils.wiki b/doc/manual/36.RPKI.Utils.wiki
index 59ae491d..59ae491d 100644
--- a/doc/36.RPKI.Utils.wiki
+++ b/doc/manual/36.RPKI.Utils.wiki
diff --git a/doc/37.RPKI.Protocols.md b/doc/manual/37.RPKI.Protocols.md
index 35df4984..35df4984 100644
--- a/doc/37.RPKI.Protocols.md
+++ b/doc/manual/37.RPKI.Protocols.md
diff --git a/doc/37.RPKI.Protocols.wiki b/doc/manual/37.RPKI.Protocols.wiki
index 5b852d41..5b852d41 100644
--- a/doc/37.RPKI.Protocols.wiki
+++ b/doc/manual/37.RPKI.Protocols.wiki
diff --git a/doc/38.RPKI.Protocols.OOB.00.svg b/doc/manual/38.RPKI.Protocols.OOB.00.svg
index b297e14e..b297e14e 100644
--- a/doc/38.RPKI.Protocols.OOB.00.svg
+++ b/doc/manual/38.RPKI.Protocols.OOB.00.svg
diff --git a/doc/38.RPKI.Protocols.OOB.md b/doc/manual/38.RPKI.Protocols.OOB.md
index 5fd64b52..5fd64b52 100644
--- a/doc/38.RPKI.Protocols.OOB.md
+++ b/doc/manual/38.RPKI.Protocols.OOB.md
diff --git a/doc/38.RPKI.Protocols.OOB.wiki b/doc/manual/38.RPKI.Protocols.OOB.wiki
index 7e6e77ea..7e6e77ea 100644
--- a/doc/38.RPKI.Protocols.OOB.wiki
+++ b/doc/manual/38.RPKI.Protocols.OOB.wiki
diff --git a/doc/38.RPKI.Protocols.OOB.zip b/doc/manual/38.RPKI.Protocols.OOB.zip
index 7c90862c..7c90862c 100644
--- a/doc/38.RPKI.Protocols.OOB.zip
+++ b/doc/manual/38.RPKI.Protocols.OOB.zip
diff --git a/doc/39.RPKI.Protocols.Up-Down.00.svg b/doc/manual/39.RPKI.Protocols.Up-Down.00.svg
index 8fda40d5..8fda40d5 100644
--- a/doc/39.RPKI.Protocols.Up-Down.00.svg
+++ b/doc/manual/39.RPKI.Protocols.Up-Down.00.svg
diff --git a/doc/39.RPKI.Protocols.Up-Down.md b/doc/manual/39.RPKI.Protocols.Up-Down.md
index 51f2835f..51f2835f 100644
--- a/doc/39.RPKI.Protocols.Up-Down.md
+++ b/doc/manual/39.RPKI.Protocols.Up-Down.md
diff --git a/doc/39.RPKI.Protocols.Up-Down.wiki b/doc/manual/39.RPKI.Protocols.Up-Down.wiki
index ed5fb0a1..ed5fb0a1 100644
--- a/doc/39.RPKI.Protocols.Up-Down.wiki
+++ b/doc/manual/39.RPKI.Protocols.Up-Down.wiki
diff --git a/doc/39.RPKI.Protocols.Up-Down.zip b/doc/manual/39.RPKI.Protocols.Up-Down.zip
index e3cd5fb4..e3cd5fb4 100644
--- a/doc/39.RPKI.Protocols.Up-Down.zip
+++ b/doc/manual/39.RPKI.Protocols.Up-Down.zip
diff --git a/doc/README b/doc/manual/README
index 8dc0145e..8dc0145e 100644
--- a/doc/README
+++ b/doc/manual/README
diff --git a/doc/pubd-bpki.dot b/doc/manual/pubd-bpki.dot
index 44ad8a90..44ad8a90 100644
--- a/doc/pubd-bpki.dot
+++ b/doc/manual/pubd-bpki.dot
diff --git a/doc/rpki-wiki-to-markdown.py b/doc/manual/rpki-wiki-to-markdown.py
index dff87e6b..dff87e6b 100644
--- a/doc/rpki-wiki-to-markdown.py
+++ b/doc/manual/rpki-wiki-to-markdown.py
diff --git a/doc/rpkid-bpki.dot b/doc/manual/rpkid-bpki.dot
index 651591cb..651591cb 100644
--- a/doc/rpkid-bpki.dot
+++ b/doc/manual/rpkid-bpki.dot