diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2019-06-02 12:55:54 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2019-06-02 12:55:54 +0200 |
| commit | a0d7b0c468d4be7773fa310090585157eab7b565 (patch) | |
| tree | e41e34089aa17b3f30154bc7f8966c194e9b6e6a /Makefile | |
| parent | dda7887b01cd9e44075019d0efccb7a4f3536527 (diff) | |
Support devel files.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |