doc: this won't work if the path does not exist yet.

diff --git a/doc/css/themes.rst b/doc/css/themes.rst
index 861e15b9992d563b24ba970b6ba90bba693dddb1..b3a89d1589b83c5cf97d1c768e7ee0b6ca93a074 100644 (file)
--- 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::