Support devel files.

2 files changed, 5 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index f8ce4ef..d358ec3 100644
--- a/Makefile
+++ b/Makefile
@@ -21,6 +21,8 @@ docs/%: source
 		ln -sf $(shell realpath --relative-to=$@ source/$(subst /,-,$*)/ADMIN.md) docs/$*/admin.md)
 	$(if $(wildcard source/$(subst /,-,$*)/SETUP.md),\
 		ln -sf $(shell realpath --relative-to=$@ source/$(subst /,-,$*)/SETUP.md) docs/$*/setup.md)
+	$(if $(wildcard source/$(subst /,-,$*)/DEVELOP.md),\
+		ln -sf $(shell realpath --relative-to=$@ source/$(subst /,-,$*)/DEVELOP.md) docs/$*/devel.md)
 
 init:
 	mr update
diff --git a/mkdocs.yml b/mkdocs.yml
index 3968730..aa971f6 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -18,6 +18,9 @@ nav:
     - Account: 'account/admin.md'
     - 'Account shell': 'account/shell/admin.md'
 #    - Chat: 'chat/admin.md'
+- Development:
+#    - Introduction: 'devel.md'
+    - System: 'system/devel.md'
 - About:
     - Structure: 'about/index.md'
     - 'Technical setup': 'about/setup.md'