doc: update command line for Pygments CSS generation.

diff --git a/doc/css/themes.rst b/doc/css/themes.rst
index 85480c688d0fdac13aed4d148d828766cec4d436..77bbe8fb64e26e36b1948235df25b8c3d47b0727 100644 (file)
--- a/doc/css/themes.rst
+++ b/doc/css/themes.rst
@@ -137,10 +137,10 @@ then generate a CSS file out of it:
 
 .. code:: sh
 
-    sudo cp pygments-dark.py /usr/lib/python3.8/site-packages/pygments/styles/dark.py
+    sudo cp pygments-dark.py /usr/lib/python3.10/site-packages/pygments/styles/dark.py
     pygmentize -f html -S dark -a .m-code > pygments-dark.css
 
-    sudo cp pygments-console.py /usr/lib/python3.8/site-packages/pygments/styles/console.py
+    sudo cp pygments-console.py /usr/lib/python3.10/site-packages/pygments/styles/console.py
     pygmentize -f html -S console -a .m-console > pygments-console.css
 
 Alternatively, you can use any of the builtin styles --- pick the one you like