home » zplus/dokk.git
ID: 0939302cec0df702ebf6c8ed6574f1dee19f79ea
31 lines — 635B — View raw 


 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
SHELL = /bin/bash

REPOSITORY = https://git.savannah.gnu.org/git/mediagoblin.git

check_env_vars:
ifdef OUTPUT_PATH
OUTPUT_PATH := ${OUTPUT_PATH}/mediagoblin
else
	$(error OUTPUT_PATH is undefined)
endif

venv:
	python3 -m venv venv

repository:
	git clone ${REPOSITORY} repository

v0.3.0 v0.4.0 v0.5.0 v0.6.0 v0.7.0 v0.8.0 v0.9.0 v0.10.0 v0.11.0 v0.12.0 v0.13.0: check_env_vars venv repository
	source venv/bin/activate
	pip install sphinx
	cd repository
	git checkout tags/$@
	cd docs
	make dirhtml
	mkdir --parents "${OUTPUT_PATH}"
	cp --recursive build/dirhtml "${OUTPUT_PATH}/$@"

.ONESHELL:
.SUFFIXES:
.PHONY:
.DELETE_ON_ERROR: