use Docker to build the TEI Guidelines locally

make-tei.sh

#!/bin/sh

# Docker image to use for building the Stylesheets and TEI Guidelines
#IMAGE=teic/jenkins:dev
IMAGE=teic/teidev-docker

# local path to the TEI Guidelines repo you cloned from  https://github.com/teic/tei
TEI_PATH=/Users/pstadler/repos/TEI

# local path to the TEI Stylesheets repo you cloned from  https://github.com/teic/stylesheets
STYLESHEETS_PATH=/Users/pstadler/repos/TEI-Stylesheets

cd $TEI_PATH
docker run --rm -v $TEI_PATH:/tei -w /tei/P5 -v $STYLESHEETS_PATH:/usr/share/xml/tei/stylesheet -it --entrypoint "make" $IMAGE $*