From 6eefd92c2aa3e0a257503d31b1a469867dfff8b6 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Thu, 5 Dec 2019 20:05:26 +0100 Subject: [PATCH] doc update the Pygments CSS generation snippet for Py 3.8. --- doc/css/themes.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/css/themes.rst b/doc/css/themes.rst index 3f7164e6..cff7a89b 100644 --- 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 -- 2.30.2