# HG changeset patch
# User Mads Kiilerich <mads@kiilerich.com>
# Date 2018-12-23 21:16:07
# Node ID cb8de929ecf06489156fe604a81e20e83586c080
# Parent  39f81c536ad4b860f6e29e89542e3e6865eb4f63

make-release: only specify Sphinx once for pip install

It failed with:

  Double requirement given: Sphinx<1.8 (from -r dev_requirements.txt (line 8)) (already in Sphinx, name='Sphinx')

diff --git a/scripts/make-release b/scripts/make-release
--- a/scripts/make-release
+++ b/scripts/make-release
@@ -20,7 +20,7 @@ virtualenv -p python2 "$venv"
 
 echo "Install/verify tools needed for building and uploading stuff"
 pip install --upgrade -e .
-pip install --upgrade -r dev_requirements.txt Sphinx Sphinx-PyPI-upload
+pip install --upgrade -r dev_requirements.txt Sphinx-PyPI-upload
 
 echo "Cleanup and update copyrights ... and clean checkout"
 scripts/run-all-cleanup