diff --git a/doc/manual/src/SUMMARY.md.in b/doc/manual/src/SUMMARY.md.in
index c320bde3f..8c4dbcb18 100644
--- a/doc/manual/src/SUMMARY.md.in
+++ b/doc/manual/src/SUMMARY.md.in
@@ -20,6 +20,12 @@
   - [The Store Layer](design/store/store.md)
     - [Store Entries](design/store/entries.md)
     - [Store Paths](design/store/paths.md)
+    - [Nix Archives](design/store/nar.md)
+    - [Content-Addressing Store Entries](design/store/entry-ca.md)
+    - [Derivations](design/store/drvs/drvs.md)
+      - [Input-Addressing](design/store/drvs/ia.md)
+      - [Content-Addressing (Experimental)](design/store/drvs/ca.md)
+    - [Building](design/store/building.md)
 - [Package Management](package-management/package-management.md)
   - [Basic Package Management](package-management/basic-package-mgmt.md)
   - [Profiles](package-management/profiles.md)
diff --git a/doc/manual/src/design/store/building.md b/doc/manual/src/design/store/building.md
new file mode 100644
index 000000000..e69de29bb
diff --git a/doc/manual/src/design/store/drvs/ca.md b/doc/manual/src/design/store/drvs/ca.md
new file mode 100644
index 000000000..e69de29bb
diff --git a/doc/manual/src/design/store/drvs/drvs.md b/doc/manual/src/design/store/drvs/drvs.md
new file mode 100644
index 000000000..e69de29bb
diff --git a/doc/manual/src/design/store/drvs/ia.md b/doc/manual/src/design/store/drvs/ia.md
new file mode 100644
index 000000000..e69de29bb
diff --git a/doc/manual/src/design/store/input-addressing.md b/doc/manual/src/design/store/input-addressing.md
new file mode 100644
index 000000000..1333ed77b
--- /dev/null
+++ b/doc/manual/src/design/store/input-addressing.md
@@ -0,0 +1 @@
+TODO
diff --git a/doc/manual/src/design/store/nar.md b/doc/manual/src/design/store/nar.md
new file mode 100644
index 000000000..1333ed77b
--- /dev/null
+++ b/doc/manual/src/design/store/nar.md
@@ -0,0 +1 @@
+TODO
diff --git a/doc/manual/src/design/store/netry-ca.md b/doc/manual/src/design/store/netry-ca.md
new file mode 100644
index 000000000..1333ed77b
--- /dev/null
+++ b/doc/manual/src/design/store/netry-ca.md
@@ -0,0 +1 @@
+TODO