Replace Makefile with tox (#2331)

Porting notes:

- tox handles Python environments automatically. Remove a bit of PYTHONPATH
  manipulation (that was using Python 2 code which always failed!)

- No `clean` target: `git clean -xdf` should fit the bill.

- No `reindent` target: the `reindent.py` script it was using does not
  exist (anymore?).

- No equivalent of tox-test-coverage, which was an artifact of the past,
  using nose.  Instead, the test-coverage target only is ported, which
  uses pytest, and works.

1 files changed, 7 insertions, 9 deletions

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 672beaf3..d1000e04 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -5,6 +5,7 @@ on:
     branches:
       - master
 
+
 env:
   FORCE_COLOR: 1
 
@@ -22,17 +23,14 @@ jobs:
         python-version: "3.x"
     - name: Checkout Pygments
       uses: actions/checkout@v3
-    - name: Install Sphinx & WCAG contrast ratio
-      run: pip install Sphinx wcag-contrast-ratio
-    - name: Create Pyodide WASM package
-      run: cd doc && make pyodide
+    - name: Install tox
+      run: pip install -r requirements.txt
     - name: Sphinx build
       run: |
-        cd doc
-        WEBSITE_BUILD=1 make dirhtml
-        touch _build/dirhtml/.nojekyll
-        echo -e 'pygments.org\nwww.pygments.org' > _build/dirhtml/CNAME
-        echo 'Automated deployment of docs for GitHub pages.' > _build/dirhtml/README
+        tox -e web-doc -- dirhtml
+        touch doc/_build/dirhtml/.nojekyll
+        echo -e 'pygments.org\nwww.pygments.org' > doc/_build/dirhtml/CNAME
+        echo 'Automated deployment of docs for GitHub pages.' > doc/_build/dirhtml/README
     - name: Deploy to repo
       if: github.repository_owner == 'pygments'
       uses: peaceiris/actions-gh-pages@v3