From 86489cfbd5e66148dbe2f5af7a2093f100b5de05 Mon Sep 17 00:00:00 2001 From: David Hoeller Date: Fri, 18 Oct 2024 10:03:54 +0200 Subject: [PATCH] Update Makefile Signed-off-by: David Hoeller --- docs/Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index aabce2263c..ce33dad503 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -4,15 +4,15 @@ # You can set these variables from the command line, and also # from the environment for the first two. SPHINXOPTS ?= -SPHINXBUILD ?= sphinx-multiversion +SPHINXBUILD ?= sphinx-build SOURCEDIR = . BUILDDIR = _build .PHONY: multi-docs multi-docs: - @$(SPHINXBUILD) "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) + @sphinx-multiversion "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) @cp _redirect/index.html $(BUILDDIR)/index.html -.PHONY: single-docs -single-docs: - @sphinx-build "$(SOURCEDIR)" "$(BUILDDIR)/latest" $(SPHINXOPTS) +.PHONY: current-docs +current-docs: + @$(SPHINXBUILD) "$(SOURCEDIR)" "$(BUILDDIR)/current" $(SPHINXOPTS)