ID: 78259d7db175d4d74112b29efd78afb3ea583a66
33 lines
—
684B —
View raw
| SHELL = /bin/bash
REPOSITORY = https://github.com/jupyter/notebook.git
check_env_vars:
ifdef OUTPUT_PATH
OUTPUT_PATH := ${OUTPUT_PATH}/jupyter-notebook
else
$(error OUTPUT_PATH is undefined)
endif
venv:
python3 -m venv venv
repository:
git clone ${REPOSITORY} repository
# For this to compile, it requires node.js and pandoc to be installed (packages
# "node-base" and "pandoc" in Debian).
v7.0.0 v7.0.6: check_env_vars venv repository
mkdir --parents "${OUTPUT_PATH}"
source venv/bin/activate
cd repository
git checkout tags/$@
pip install .[docs]
cd docs
make dirhtml
cp --recursive build/dirhtml "${OUTPUT_PATH}/$@"
.ONESHELL:
.SUFFIXES:
.PHONY:
.DELETE_ON_ERROR:
|