Jan 31, 2023 · Jan 28, 2023 · Jan 30, 2023
diff --git a/Doc/Makefile b/Doc/Makefile
 SPHINXBUILD  = PATH=$(VENVDIR)/bin:$$PATH sphinx-build
 SPHINXLINT   = PATH=$(VENVDIR)/bin:$$PATH sphinx-lint
 BLURB        = PATH=$(VENVDIR)/bin:$$PATH blurb
 JOBS         = auto
 PAPER        =
 SOURCES      =
 DISTVERSION  = $(shell $(PYTHON) tools/extensions/patchlevel.py)
 PAPEROPT_a4     = -D latex_elements.papersize=a4paper
 PAPEROPT_letter = -D latex_elements.papersize=letterpaper

 ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees $(PAPEROPT_$(PAPER)) -jauto \
 ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees $(PAPEROPT_$(PAPER)) -j$(JOBS) \
                $(SPHINXOPTS) $(SPHINXERRORHANDLING) . build/$(BUILDER) $(SOURCES)

 .PHONY: help
Original file line number	Diff line number	Diff line change
Expand Up		@@ -9,6 +9,7 @@ VENVDIR = ./venv
		SPHINXBUILD = PATH=$(VENVDIR)/bin:$$PATH sphinx-build
		SPHINXLINT = PATH=$(VENVDIR)/bin:$$PATH sphinx-lint
		BLURB = PATH=$(VENVDIR)/bin:$$PATH blurb
		JOBS = auto
		PAPER =
		SOURCES =
		DISTVERSION = $(shell $(PYTHON) tools/extensions/patchlevel.py)
Expand All		@@ -18,7 +19,7 @@ SPHINXERRORHANDLING = -W
		PAPEROPT_a4 = -D latex_elements.papersize=a4paper
		PAPEROPT_letter = -D latex_elements.papersize=letterpaper

		ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees $(PAPEROPT_$(PAPER)) -jauto \
		ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees $(PAPEROPT_$(PAPER)) -j$(JOBS) \
		$(SPHINXOPTS) $(SPHINXERRORHANDLING) . build/$(BUILDER) $(SOURCES)

		.PHONY: help
Expand Down