@@ -828,24 +828,29 @@ docs-check: env
828828 $(call PRINT_TITLE,"Checking documentation build with mkdocs")
829829 $(VENV_MKDOCS ) build --strict
830830
831+ docs-serve-versioned : export PATH := $(VIRTUAL_ENV ) /bin:$(PATH )
831832docs-serve-versioned : env
832833 $(call PRINT_TITLE,"Serving versioned documentation with mike")
833834 $(VENV_MIKE ) serve
834835
836+ docs-list : export PATH := $(VIRTUAL_ENV ) /bin:$(PATH )
835837docs-list : env
836838 $(call PRINT_TITLE,"Listing deployed documentation versions")
837839 $(VENV_MIKE ) list
838840
841+ docs-deploy : export PATH := $(VIRTUAL_ENV ) /bin:$(PATH )
839842docs-deploy : env
840843 $(call PRINT_TITLE,"Deploying documentation version $(if $(VERSION ) ,$(VERSION ) ,$(DOCS_VERSION ) ) ")
841844 $(VENV_MIKE ) deploy $(if $(VERSION ) ,$(VERSION ) ,$(DOCS_VERSION ) )
842845
846+ docs-deploy-stable : export PATH := $(VIRTUAL_ENV ) /bin:$(PATH )
843847docs-deploy-stable : env
844848 $(call PRINT_TITLE,"Deploying stable documentation $(DOCS_VERSION ) with latest alias")
845849 $(VENV_MIKE ) deploy --push --update-aliases $(DOCS_VERSION ) latest
846850 $(VENV_MIKE ) set-default --push latest
847851 $(MAKE ) docs-deploy-root
848852
853+ docs-deploy-specific-version-pre-release : export PATH := $(VIRTUAL_ENV ) /bin:$(PATH )
849854docs-deploy-specific-version-pre-release : env
850855 $(call PRINT_TITLE,"Deploying documentation $(DOCS_VERSION ) with pre-release alias")
851856 $(VENV_MIKE ) deploy --push --update-aliases $(DOCS_VERSION ) pre-release
@@ -855,7 +860,7 @@ docs-deploy-root:
855860ifeq ($(SITE_DOMAIN ) ,)
856861 $(error SITE_DOMAIN is empty — docs/CNAME is missing or blank. Cannot generate root assets with valid URLs)
857862endif
858- $(call PRINT_TITLE,"Deploying root assets (404.html, robots.txt, index.html) to gh-pages")
863+ $(call PRINT_TITLE,"Deploying root assets to gh-pages")
859864 @git fetch origin gh-pages:gh-pages 2>/dev/null || true; \
860865 TMPDIR=$$(mktemp -d); \
861866 trap "cd '$(CURDIR)'; git worktree remove '$$TMPDIR' 2>/dev/null || true; rm -rf '$$TMPDIR'" EXIT; \
@@ -868,6 +873,7 @@ endif
868873 (git diff --cached --quiet || git commit -m "Update root assets (404.html, robots.txt, index.html)") && \
869874 git push origin gh-pages
870875
876+ docs-delete : export PATH := $(VIRTUAL_ENV ) /bin:$(PATH )
871877docs-delete : env
872878ifndef VERSION
873879 $(error VERSION is required. Usage: make docs-delete VERSION=x.y.z)
0 commit comments