Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2019-12-15 18:05:35 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2019-12-15 18:05:35 +0300
commit712c20a3d91cd80247c5625782ba8ada2b2c2378 (patch)
treed151c391d9bc18aa2ceffa455efa658bafc1ec29 /sphinx/highlighting.py
parent5a03cac7d369ea71e1414792df62668ca5fd8190 (diff)
parentcb5fab5db90c2177ede34af876b19e58b9dc1263 (diff)
Merge branch '2.0'
Diffstat (limited to 'sphinx/highlighting.py')
-rw-r--r--sphinx/highlighting.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/highlighting.py b/sphinx/highlighting.py
index ca2bdc48f..c659114d8 100644
--- a/sphinx/highlighting.py
+++ b/sphinx/highlighting.py
@@ -164,6 +164,7 @@ class PygmentsBridge:
if self.dest == 'html':
return hlsource
else:
+ # MEMO: this is done to escape Unicode chars with non-Unicode engines
return texescape.hlescape(hlsource, self.latex_engine)
def get_stylesheet(self):