From ca9990c68ef4a9538705c1515b5a5ab00a61188e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Wed, 29 Nov 2017 22:11:17 +0100 Subject: [PATCH] doc: this won't work if the path does not exist yet. --- doc/css/themes.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/css/themes.rst b/doc/css/themes.rst index 861e15b9..b3a89d15 100644 --- a/doc/css/themes.rst +++ b/doc/css/themes.rst @@ -120,7 +120,7 @@ then generate a CSS file out of it: .. code:: sh - sudo cp pygments-dark.py /usr/lib/python3*/site-packages/pygments/styles/dark.py + sudo cp pygments-dark.py /usr/lib/python3.6/site-packages/pygments/styles/dark.py pygmentize -f html -S dark -a .m-code > pygments-dark.css .. note-success:: -- 2.30.2