include this SETUP as About → Website setup; Improve menu items below About

2 files changed, 6 insertions, 3 deletions

diff --git a/Makefile b/Makefile
index 3bd88cf..a6839fc 100644
--- a/Makefile
+++ b/Makefile
@@ -29,6 +29,7 @@ docs:
 	mkdir -p docs
 	find docs -type l -delete
 	$(MUSTACHE) < README.md > docs/index.md
+	$(MUSTACHE) < SETUP.md > docs/setup.md
 
 docs/%: source
 	mkdir -p docs/$*
diff --git a/mkdocs.yml b/mkdocs.yml
index 5653cde..baf9b19 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -36,6 +36,8 @@ nav:
 #    - Introduction: 'devel.md'
     - System: 'system/devel.md'
 - About:
-    - Structure: 'about/index.md'
-    - 'Technical setup': 'about/setup.md'
-    - 'Maintenance': 'about/admin.md'
+    - Website: 'index.md'
+    - 'Website setup': 'setup.md'
+    - 'Source structure': 'about/index.md'
+    - 'Source setup': 'about/setup.md'
+    - 'Source maintenance': 'about/admin.md'