home » zplus/dokk.git
ID: 75647440295d927d465eae023214f124b48d328d
29 lines — 532B — View raw


SHELL = /bin/bash

REPOSITORY = https://gitlab.haskell.org/ghc/ghc.git

check_env_vars:
ifdef OUTPUT_PATH
OUTPUT_PATH := ${OUTPUT_PATH}/ghc
else
	$(error OUTPUT_PATH is undefined)
endif

venv:
	python3 -m venv venv

repository:
	git clone ${REPOSITORY} repository

: check_env_vars venv repository
	source venv/bin/activate
	cd repository
	git checkout tags/$@
	pip install -r requirements-docs.txt
	mkdir --parents "${OUTPUT_PATH}"
	sphinx-build -b dirhtml doc/ "${OUTPUT_PATH}/$@"

.ONESHELL:
.SUFFIXES:
.PHONY:
.DELETE_ON_ERROR: