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: