ID: b4c83274c38b14fad6d6dcea892a0ce0d2d981d5
33 lines
—
721B —
View raw
| SHELL = /bin/bash
REPOSITORY = https://github.com/cmhughes/latexindent.pl.git
check_env_vars:
ifdef OUTPUT_PATH
OUTPUT_PATH := ${OUTPUT_PATH}/latexindent.pl
else
$(error OUTPUT_PATH is undefined)
endif
venv:
python3 -m venv venv
repository:
git clone ${REPOSITORY} repository
V3.20.6 V3.21.1 V3.22.2 V3.23: check_env_vars venv repository
mkdir --parents "${OUTPUT_PATH}"
source venv/bin/activate
cd repository
git checkout tags/$@
pip install -r documentation/requirements.txt
# Manually install theme because it's giving a "configuration error"
pip install sphinx-rtd-theme
cd documentation
make dirhtml
cp --recursive build/dirhtml "${OUTPUT_PATH}/$@"
.ONESHELL:
.SUFFIXES:
.PHONY:
.DELETE_ON_ERROR:
|