2 Docker container for generating and developing documentation for doc.coreboot.org
4 **NOTE**: All paths are from the base of the coreboot git repo.
9 docker build --force-rm -t "doc.coreboot.org" "$PWD/util/docker/doc.coreboot.org/"
12 ### Generating production HTML
15 # To ensure the output directory is given the correct permissions, make sure to
16 # created it before running docker the first time.
17 mkdir -p "$PWD/Documentation/_build/"
20 --user "$(id -u):$(id -g)" \
21 -v "$PWD/:/data-in/:ro" \
22 -v "$PWD/Documentation/_build/:/data-out/" \
26 ### live reloaded with web server
27 On the host machine, open a browser to the address http://0.0.0.0:8000
30 --net=host -v "$PWD/:/data-in/:ro" \
31 doc.coreboot.org livehtml