This adds stuff to build page using docker

PetriNets / petrinets.github.io

Petrinet.org interactive playground website

http://petrinet.org

14 stars 8 forks source link

Closed wires closed 6 years ago

wires commented 6 years ago

Shell script to build docker image and run jekyll in the docker image Readme file to describe how to run it