mirrors/django
1
0
Fork 0
mirror of https://github.com/django/django.git synced 2025-08-22 19:44:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

Fixed docs build with Sphinx 1.6.

Browse source
This commit is contained in:
Dmitry Shachnev 2017-05-17 13:09:12 +03:00 • committed by Tim Graham
parent 6092ea8fa6
commit f370bfb108
3 changed files with 13 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

9
docs/_ext/djangodocs.py
View file

@ -13,7 +13,10 @@ from sphinx.domains.std import Cmdoption
from sphinx.util.compat import Directive
from sphinx.util.console import bold
from sphinx.util.nodes import set_source_info
from sphinx.writers.html import SmartyPantsHTMLTranslator
try:
from sphinx.writers.html import SmartyPantsHTMLTranslator as HTMLTranslator
except ImportError: # Sphinx 1.6+
from sphinx.writers.html import HTMLTranslator
# RE for option descriptions without a '--' prefix
simple_option_desc_re = re.compile(
@ -226,7 +229,7 @@ class VersionDirective(Directive):
return ret
class DjangoHTMLTranslator(SmartyPantsHTMLTranslator):
class DjangoHTMLTranslator(HTMLTranslator):
"""
Django-specific reST to HTML tweaks.
"""
@ -287,7 +290,7 @@ class DjangoHTMLTranslator(SmartyPantsHTMLTranslator):
old_ids = node.get('ids', [])
node['ids'] = ['s-' + i for i in old_ids]
node['ids'].extend(old_ids)
SmartyPantsHTMLTranslator.visit_section(self, node)
super().visit_section(node)
node['ids'] = old_ids