ID: 854df65110e67ded7d94ac2677205aa98e4d3494
32 lines
—
599B —
View raw
| SHELL = /bin/bash
REPOSITORY = https://github.com/veit/jupyter-tutorial.git
check_env_vars:
ifdef OUTPUT_PATH
OUTPUT_PATH := ${OUTPUT_PATH}/jupyter-tutorial
else
$(error OUTPUT_PATH is undefined)
endif
venv:
python3 -m venv venv
repository:
git clone ${REPOSITORY} repository
v1.1.0: check_env_vars venv repository
source venv/bin/activate
cd repository
git checkout tags/$@
pip install -r docs/requirements.txt
cd docs
make clean
make dirhtml
mkdir --parents "${OUTPUT_PATH}/en"
cp --recursive _build/dirhtml "${OUTPUT_PATH}/en/$@"
.ONESHELL:
.SUFFIXES:
.PHONY:
.DELETE_ON_ERROR:
|