mirrors/django
1
0
Fork 0
mirror of https://github.com/django/django.git synced 2025-10-24 06:06:09 +00:00
Code Issues 32 Releases Wiki Activity

[1.11.x] Fixed docs build with Sphinx 1.6.

Browse Source 
Backport of f370bfb108 from master
This commit is contained in:
Dmitry Shachnev
2017-05-17 13:09:12 +03:00
committed by Tim Graham
parent d1d08d86ba
commit b78e5dec18
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)
HTMLTranslator.visit_section(self, node)
node['ids'] = old_ids