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 ++
 1 file changed, 2 insertions(+)

(limited to 'Makefile')

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