From 9545c46fa092c824ecd060ccdc9c7a43826b0a94 Mon Sep 17 00:00:00 2001 From: Pierre-Henri Tournier Date: Fri, 10 Jan 2025 17:24:50 +0100 Subject: [PATCH] Pygments --- .github/workflows/sphinx.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml index 7fd79ac4..1716cc71 100644 --- a/.github/workflows/sphinx.yml +++ b/.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)