Merge pull request #1956 from EliahKagan/no37doc

Don't support building documentation on Python 3.7

Author: Byron

.github/workflows/pythonpackage.yml

@@ -99,6 +99,7 @@ jobs:
 continue-on-error: false
 
  - name: Documentation
+if: matrix.python-version != '3.7'
 run: |
  pip install ".[doc]"
  make -C doc html

doc/requirements.txt

@@ -1,9 +1,3 @@
-sphinx>=7.1.2, <7.2 ; python_version>="3.8"
-sphinx==4.3.2 ; python_version<"3.8"
-sphinxcontrib-applehelp>=1.0.2, <=1.0.4 ; python_version<"3.8"
-sphinxcontrib-devhelp==1.0.2 ; python_version<"3.8"
-sphinxcontrib-htmlhelp>=2.0.0, <=2.0.1 ; python_version<"3.8"
-sphinxcontrib-qthelp==1.0.3 ; python_version<"3.8"
-sphinxcontrib-serializinghtml==1.1.5 ; python_version<"3.8"
+sphinx>=7.1.2, <7.2
 sphinx_rtd_theme
 sphinx-autodoc-typehints