From 4383a2d2a56807e68b507620138e8451f037c308 Mon Sep 17 00:00:00 2001 From: Julien Palard Date: Fri, 21 Sep 2018 21:35:33 +0200 Subject: [PATCH] python-docs-theme has been released in the meantime. --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index a4d10dd8..f1aee326 100644 --- a/Makefile +++ b/Makefile @@ -27,9 +27,7 @@ JOBS = 4 all: $(SPHINX_CONF) mkdir -p $(CPYTHON_CLONE)/locales/$(LANGUAGE)/ ln -nfs $(shell readlink -f .) $(CPYTHON_CLONE)/locales/$(LANGUAGE)/LC_MESSAGES - sed -i.old 's#python-docs-theme#git+https://github.com/python/python-docs-theme.git#' $(CPYTHON_CLONE)/Doc/Makefile $(MAKE) -C $(CPYTHON_CLONE)/Doc/ VENVDIR=$(VENV) PYTHON=$(PYTHON) venv - mv $(CPYTHON_CLONE)/Doc/Makefile.old $(CPYTHON_CLONE)/Doc/Makefile $(MAKE) -C $(CPYTHON_CLONE)/Doc/ VENVDIR=$(VENV) PYTHON=$(PYTHON) SPHINXOPTS='-qaEW -j$(JOBS) -D locale_dirs=../locales -D language=$(LANGUAGE) -D gettext_compact=0 -D latex_engine=xelatex -D latex_elements.inputenc= -D latex_elements.fontenc=' $(MODE)