ID: 6b6117b2ee04d4883c1afe14a5cff8fbb61ffb43
31 lines
—
618B —
View raw
| SHELL = /bin/bash
REPOSITORY = https://github.com/django/channels.git
check_env_vars:
ifdef OUTPUT_PATH
OUTPUT_PATH := ${OUTPUT_PATH}/django-channels
else
$(error OUTPUT_PATH is undefined)
endif
venv:
python3 -m venv venv
repository:
git clone ${REPOSITORY} repository
0.17.3 1.1.8.1 2.4.0 3.0.0 3.0.1 3.0.2 3.0.3 3.0.4 3.0.5 4.0.0: check_env_vars venv repository
source venv/bin/activate
cd repository
git checkout tags/$@
pip install sphinx
cd docs
make clean dirhtml
mkdir --parents "${OUTPUT_PATH}"
cp --recursive _build/dirhtml "${OUTPUT_PATH}/$@"
.ONESHELL:
.SUFFIXES:
.PHONY:
.DELETE_ON_ERROR:
|