Skip to content

Instantly share code, notes, and snippets.

@peterstadler

peterstadler/make-stylesheets.sh

Last active December 17, 2019 13:16
Show Gist options
  • Save peterstadler/f55d56b590d8aa6c3c184f3e0d536694 to your computer and use it in GitHub Desktop.
Save peterstadler/f55d56b590d8aa6c3c184f3e0d536694 to your computer and use it in GitHub Desktop.
Download ZIP
use Docker to build the TEI Stylesheets locally
Raw
make-stylesheets.sh
#!/bin/sh
# Docker image to use for building the Stylesheets and TEI Guidelines
#IMAGE=teic/teidev-docker
IMAGE=teic/jenkins
# local path to the TEI Stylesheets repo you cloned from https://github.com/teic/stylesheets
STYLESHEETS_PATH=/Users/pstadler/repos/TEI-Stylesheets
docker run --rm -v $STYLESHEETS_PATH:/stylesheet -w /stylesheet -it --entrypoint "make" $IMAGE $*
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment