Pygments

Author: phtournier

.github/workflows/sphinx.yml

@@ -21,6 +21,7 @@ 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/
           (cd /home/runner/.local/lib/python3.12/site-packages/pygments/lexers/ && sudo python _mapping.py)