Pygments

FreeFem · Jan 10, 2025 · 9f4fe77 · 9f4fe77
1 parent 9545c46
commit 9f4fe77
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
@@ -21,9 +21,8 @@ jobs:
           pip install Sphinx
           pip install sphinxcontrib-inlinesyntaxhighlight
           pip install sphinx-sitemap
-          pip install Pygments
           git clone https://github.com/FreeFem/FreeFem-parser-pygments.git ~/pygments
-          sudo cp ~/pygments/freefem.py /home/runner/.local/lib/python3.12/site-packages/pygments/lexers/
+          sudo cp ~/pygments/freefem.py /usr/lib/python3/dist-packages/pygments/lexers/
           (cd /home/runner/.local/lib/python3.12/site-packages/pygments/lexers/ && sudo python _mapping.py)
           sed -i 's/, BaseTranslator//g' /home/runner/.local/lib/python3.12/site-packages/sphinxcontrib/inlinesyntaxhighlight.py
           sed -i "s/self.highlightlang/'python'/g" /home/runner/.local/lib/python3.12/site-packages/sphinxcontrib/inlinesyntaxhighlight.py