gen_mapfiles.py: convert Path to str before adding to sys.path (#2223)

pathlib.Path entries in sys.path are actually ignored. See python/cpython#96482
pygments · Sep 1, 2022 · 728e63c · 728e63c
1 parent cbc7143
commit 728e63c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/gen_mapfiles.py b/scripts/gen_mapfiles.py
@@ -15,7 +15,7 @@
 
 top_src_dir = Path(__file__).parent.parent
 pygments_package = top_src_dir / 'pygments'
-sys.path.insert(0, pygments_package.parent.resolve())
+sys.path.insert(0, str(pygments_package.parent.resolve()))
 
 from pygments.util import docstring_headline