summaryrefslogtreecommitdiff
path: root/util/docker
diff options
context:
space:
mode:
authorArthur Heymans <arthur@aheymans.xyz>2019-10-17 22:10:59 +0200
committerPatrick Georgi <pgeorgi@google.com>2019-11-19 13:00:38 +0000
commit593172c7c388d061c196203bd82650396bac1f68 (patch)
tree96029d0b4e62a776ee59d8b578d1403a0cf82cf4 /util/docker
parent44b54aa947caedef662e5401f006e96f58d1f70d (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 'util/docker')
-rw-r--r--util/docker/Makefile23
1 files changed, 23 insertions, 0 deletions
diff --git a/util/docker/Makefile b/util/docker/Makefile
index 6925b57fdf..619de854c0 100644
--- a/util/docker/Makefile
+++ b/util/docker/Makefile
@@ -71,6 +71,10 @@ coreboot-jenkins-node: test-docker
upload-coreboot-jenkins-node: test-docker-login
$(DOCKER) push coreboot/coreboot-jenkins-node:$(COREBOOT_IMAGE_TAG)
+doc.coreboot.org: test-docker
+ $(DOCKER) build --force-rm -t doc.coreboot.org \
+ $(top)/util/docker/doc.coreboot.org/
+
docker-killall: test-docker
@if [ -n "$$($(DOCKER) ps | grep 'coreboot')" ]; then \
$(DOCKER) kill $$($(DOCKER) ps | grep 'coreboot' | cut -f1 -d ' '); \
@@ -166,12 +170,27 @@ docker-jenkins-attach:
-it "$$(docker ps | grep coreboot-jenkins-node | cut -f1 -d' ')" \
/bin/bash -l
+docker-build-docs: test-docker
+docker-build-docs:
+ $(DOCKER) run -it --rm \
+ --user $(UID):$(GID) \
+ -v "$(top)/:/data-in/:ro" \
+ -v "$(top)/Documentation/_build/:/data-out/" \
+ doc.coreboot.org
+
+docker-livehtml-docs: test-docker
+docker-livehtml-docs:
+ $(DOCKER) run -it --rm \
+ --net=host -v "$(top)/:/data-in/:ro" \
+ doc.coreboot.org livehtml
+
help:
@echo "Commands for working with docker images:"
@echo " coreboot-sdk - Build coreboot-sdk container"
@echo " upload-coreboot-sdk - Upload coreboot-sdk to hub.docker.com"
@echo " coreboot-jenkins-node - Build coreboot-jenkins-node container"
@echo " upload-coreboot-jenkins-node - Upload coreboot-jenkins-node to hub.docker.com"
+ @echo " doc.coreboot.org - Build doc.coreboot.org container"
@echo " clean-coreboot-containers - Remove all docker coreboot containers"
@echo " clean-coreboot-images - Remove all docker coreboot images"
@echo " clean-docker - Remove docker coreboot containers & images"
@@ -186,6 +205,8 @@ help:
@echo " <USER=root or USER=coreboot>"
@echo " docker-jenkins-server - Run coreboot-jenkins-node image (for server)"
@echo " docker-jenkins-attach - Open shell in running jenkins server"
+ @echo " docker-build-docs - Build the documentation"
+ @echo " docker-livehtml-docs - Run sphinx-autobuild"
@echo
@echo "Variables:"
@echo " COREBOOT_JENKINS_PORT=$(COREBOOT_JENKINS_PORT)"
@@ -197,7 +218,9 @@ help:
.PHONY: test-docker test-docker-login
.PHONY: coreboot-jenkins-node upload-coreboot-jenkins-node
.PHONY: coreboot-sdk upload-coreboot-sdk
+.PHONY: doc.coreboot.org
.PHONY: clean-coreboot-containers clean-coreboot-images
.PHONY: docker-abuild
.PHONY: docker-what-jenkins-does docker-shell docker-jenkins-server docker-jenkins-attach
+.PHONY: docker-build-docs docker-livehtml-docs
.PHONY: help