ID: c9a9936ea5c3cd81386b4f15495d63822b5faab4
31 lines
—
633B —
View raw
| 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:
|