aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
-rw-r--r--mkdocs.yml3
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'