Docker container for generating and developing documentation for

NOTE: All paths are from the base of the coreboot git repo.


  docker build --force-rm -t "" "$PWD/util/docker/"

Generating production HTML

# To ensure the output directory is given the correct permissions, make sure to
# created it before running docker the first time.
mkdir -p "$PWD/Documentation/_build/"

docker run -it --rm \
           --user "$(id -u):$(id -g)" \
           -v "$PWD/:/data-in/:ro" \
           -v "$PWD/Documentation/_build/:/data-out/" \

live reloaded with web server

On the host machine, open a browser to the address

docker run -it --rm \
           --net=host -v "$PWD/:/data-in/:ro" \