SHELL = /bin/bash REPOSITORY = https://github.com/phpmyadmin/phpmyadmin.git check_env_vars: ifdef OUTPUT_PATH OUTPUT_PATH := ${OUTPUT_PATH}/phpmyadmin else $(error OUTPUT_PATH is undefined) endif venv: python3 -m venv venv repository: git clone ${REPOSITORY} repository RELEASE_4_7_9 RELEASE_4_8_5 RELEASE_4_9_11 RELEASE_5_0_4 RELEASE_5_1_4 RELEASE_5_2_1: check_env_vars venv repository mkdir --parents "${OUTPUT_PATH}" source venv/bin/activate cd repository git checkout tags/$@ pip install sphinx cd doc make clean dirhtml cp --recursive dirhtml "${OUTPUT_PATH}/$@" .ONESHELL: .SUFFIXES: .PHONY: .DELETE_ON_ERROR: