move developer_manual/core/ to developer_manual/server/

Signed-off-by: Private Maker <privatemaker@posteo.net>
2026-03-27 13:38:39 +07:00 · 2023-09-21 14:59:32 +00:00
parent 19af7859f2
commit e3179782d8
9 changed files with 1 additions and 1 deletions
--- a/developer_manual/index.rst
+++ b/developer_manual/index.rst
@@ -18,7 +18,7 @@ Table of contents
    getting_started/index
    basics/index
    app_development/index
-    core/index
+    server/index
    digging_deeper/index
    app_publishing_maintenance/index
    design/index
--- a/developer_manual/server/architecture/files.rst
+++ b/developer_manual/server/architecture/files.rst
--- a/developer_manual/server/architecture/index.rst
+++ b/developer_manual/server/architecture/index.rst
--- a/developer_manual/server/code-back-end.rst
+++ b/developer_manual/server/code-back-end.rst
--- a/developer_manual/server/code-front-end.rst
+++ b/developer_manual/server/code-front-end.rst
--- a/developer_manual/server/externalapi.rst
+++ b/developer_manual/server/externalapi.rst
--- a/developer_manual/server/index.rst
+++ b/developer_manual/server/index.rst
--- a/developer_manual/server/static-analysis.rst
+++ b/developer_manual/server/static-analysis.rst
--- a/developer_manual/server/unit-testing.rst
+++ b/developer_manual/server/unit-testing.rst