diff options
author | Arthur Heymans <arthur@aheymans.xyz> | 2019-10-17 22:10:59 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-19 13:00:38 +0000 |
commit | 593172c7c388d061c196203bd82650396bac1f68 (patch) | |
tree | 96029d0b4e62a776ee59d8b578d1403a0cf82cf4 /MAINTAINERS | |
parent | 44b54aa947caedef662e5401f006e96f58d1f70d (diff) |
util/docker/Makefile: Add documentation docker image targets
Run
- make -C util/docker doc.coreboot.org to build the docker image
- make -C util/docker docker-build-docs to build the documentation
- make -C docker-livehtml-docs to serve autoupdated documentation over
http://0.0.0.0:8000
Change-Id: Ic07f216f8d90d6e212383250b852dc91575304c3
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36104
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions