diff options
author | Jonas Smedegaard <dr@jones.dk> | 2021-09-20 17:14:03 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2021-09-20 17:14:03 +0200 |
commit | 36fb7d1f162cf8203135c4f799ef692ab42c3e46 (patch) | |
tree | 8329760be24d0e10db26a895e1fd7a5c75756dca | |
parent | 473799ef7656372dee11cfb0d61157d9f6255d10 (diff) |
-rw-r--r-- | Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
@@ -2,17 +2,6 @@ -include site.mk -domain ?= example.org -eventhost ?= event.$(domain) -shellhost ?= shell.$(domain) -githost ?= source.$(domain) -gitshellhost ?= $(shellhost) -mailhost ?= mail.$(domain) -matrixhost ?= matrix.$(domain) -organisation ?= Example orga -contact_sysadmins ?= contact sysadmins -VARIABLES = domain eventhost shellhost githost gitshellhost mailhost matrixhost organisation contact_sysadmins - MKDOCS_PREP ?= bin/mkdocs-prep.pl all: doc @@ -44,7 +33,6 @@ docs/%: source init: mr update - $(if $(wildcard site.mk),,$(foreach v,$(VARIABLES),echo $v = $($v) >> site.mk;)) clean: rm -rf site |