From a0d7b0c468d4be7773fa310090585157eab7b565 Mon Sep 17 00:00:00 2001
From: Jonas Smedegaard <dr@jones.dk>
Date: Sun, 2 Jun 2019 12:55:54 +0200
Subject: Support devel files.

---
 Makefile   | 2 ++
 mkdocs.yml | 3 +++
 2 files changed, 5 insertions(+)

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'
-- 
cgit v1.2.3