diff options
author | Jonas Smedegaard <dr@jones.dk> | 2021-09-22 21:01:11 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2021-09-22 21:01:11 +0200 |
commit | bb691beafb500b78a03cf0c36527c355a15828f0 (patch) | |
tree | 631b9d48719a58192889d45ec54ccf9c0de7de65 /Makefile | |
parent | bfce3570786a37cf49d38ba0573929d673772cbf (diff) | |
parent | 36fb7d1f162cf8203135c4f799ef692ab42c3e46 (diff) |
Merge branch 'master' of xayide.jones.dk:/srv/git/source.redpill.dk/features
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
@@ -2,16 +2,6 @@ -include site.mk -domain ?= example.org -eventhost ?= event.$(domain) -shellhost ?= shell.$(domain) -githost ?= source.$(domain) -gitshellhost ?= $(shellhost) -matrixhost ?= matrix.$(domain) -organisation ?= Example orga -contact_sysadmins ?= contact sysadmins -VARIABLES = domain eventhost shellhost githost gitshellhost matrixhost organisation contact_sysadmins - MKDOCS_PREP ?= bin/mkdocs-prep.pl all: doc @@ -43,7 +33,6 @@ docs/%: source init: mr update - $(if $(wildcard site.mk),,$(foreach v,$(VARIABLES),echo $v = $($v) >> site.mk;)) clean: rm -rf site |