doc update the Pygments CSS generation snippet for Py 3.8.

diff --git a/doc/css/themes.rst b/doc/css/themes.rst
index 3f7164e65251d99b051b398e077904a470213def..cff7a89b413200b7553618f7dbde167f53ffa8a1 100644 (file)
--- a/doc/css/themes.rst
+++ b/doc/css/themes.rst
@@ -136,10 +136,10 @@ then generate a CSS file out of it:
 
 .. code:: sh
 
-    sudo cp pygments-dark.py /usr/lib/python3.6/site-packages/pygments/styles/dark.py
+    sudo cp pygments-dark.py /usr/lib/python3.8/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.6/site-packages/pygments/styles/console.py
+    sudo cp pygments-console.py /usr/lib/python3.8/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