diff --git a/Makefile b/Makefile index 9a1bc93..d9c3135 100644 --- a/Makefile +++ b/Makefile @@ -21,6 +21,8 @@ docs-builder-image: build-docs: docs-builder-image docker run --rm \ -u $(shell id -u):$(shell id -g) \ + --env http_proxy=${HTTP_PROXY} \ + --env https_proxy=${HTTPS_PROXY} \ -v $(PWD):/docs \ -w /docs \ $(MKDOCS_IMAGE) \ @@ -30,7 +32,7 @@ serve-docs: docs-builder-image docker run --rm \ -it \ -u $(shell id -u):$(shell id -g) \ - -p 8008:8000 \ + -p 8000:8000 \ -v $(PWD):/docs \ -w /docs \ $(MKDOCS_IMAGE) \ No newline at end of file diff --git a/docs/404.html b/docs/404.html index 41242df..fffe476 100644 --- a/docs/404.html +++ b/docs/404.html @@ -12,7 +12,7 @@ - + @@ -20,7 +20,7 @@ - + @@ -1325,7 +1325,7 @@