IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

texinfo: remove DOTs from name if name contains other characters

Browse Source
This commit is contained in:
Takeshi KOMIYA 2019-02-03 18:51:19 +09:00
parent 133ed17de6
commit e483e4afc3
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
sphinx/writers/texinfo.py
View File

@ -387,6 +387,9 @@ class TexinfoTranslator(nodes.NodeVisitor):
bad_chars = ',:()'
for bc in bad_chars:
s = s.replace(bc, ' ')
if re.search('[^ .]', s):
# remove DOTs if name contains other characters
s = s.replace('.', ' ')
s = ' '.join(s.split()).strip()
return self.escape(s)

2
tests/test_build_texinfo.py
View File

@ -110,5 +110,5 @@ def test_texinfo_escape_id(app, status, warning):
assert translator.escape_id('Hello Sphinx world') == 'Hello Sphinx world'
assert translator.escape_id('Hello:world') == 'Hello world'
assert translator.escape_id('Hello(world)') == 'Hello world'
assert translator.escape_id('Hello world.') == 'Hello world.'
assert translator.escape_id('Hello world.') == 'Hello world'
assert translator.escape_id('.') == '.'