release: explicitely build sphinx-html

This is to force it to happen after the "make clean".

diff --git a/Makefile.local b/Makefile.local
index 205fc9d3f510be5bab8f623ea172aad8b6923a2b..fb12629420224d41ea981bbecd1007616f28727c 100644 (file)
--- a/Makefile.local
+++ b/Makefile.local
@@ -64,9 +64,10 @@ update-versions:
 # are part of the release and need to take the version from the
 # version file).
 .PHONY: release
-release: verify-source-tree-and-version sphinx-html
+release: verify-source-tree-and-version
        $(MAKE) VERSION=$(VERSION) verify-newer
        $(MAKE) VERSION=$(VERSION) clean
+       $(MAKE) VERSION=$(VERSION) sphinx-html
        $(MAKE) VERSION=$(VERSION) test
        git tag -s -m "$(PACKAGE) $(VERSION) release" $(UPSTREAM_TAG)
        $(MAKE) VERSION=$(VERSION) $(SHA256_FILE) $(DETACHED_SIG_FILE)