#!/usr/bin/env sh set -e cd "$(dirname $0)" docker build -t ghdl/sphinx -f- . <