[GNUnet-SVN] [taler-docs] 01/03: omit deep section names

[gnunet]

This is an automated email from the git hooks/post-receive script.

dold pushed a commit to branch master
in repository docs.

commit e0ffb439998894f368f24fcea8fbdec4fad00a99
Author: Florian Dold <address@hidden>
AuthorDate: Wed Sep 18 18:49:53 2019 +0200

    omit deep section names
---
 _exts/taler_sphinx_theme/__init__.py | 27 +++++++++++++++++++++++++--
 _exts/tsref.py                       |  5 ++++-
 2 files changed, 29 insertions(+), 3 deletions(-)

diff --git a/_exts/taler_sphinx_theme/__init__.py 
b/_exts/taler_sphinx_theme/__init__.py
index 9ac8f38..2d3c61c 100644
--- a/_exts/taler_sphinx_theme/__init__.py
+++ b/_exts/taler_sphinx_theme/__init__.py
@@ -17,7 +17,8 @@ def setup(app):
     """Setup conntects events to the sitemap builder"""
     app.connect('html-page-context', add_html_link)
     app.connect('build-finished', create_sitemap)
-    app.set_translator('html', HTMLTranslator)
+    app.set_translator('html', MyHTMLTranslator)
+    app.set_translator('html-linked', MyHTMLTranslator)
     app.sitemap_links = []
     app.add_html_theme('taler_sphinx_theme', 
path.abspath(path.dirname(__file__) + "/guzzle_sphinx_theme"))
 
@@ -53,7 +54,7 @@ def html_theme_path():
     return [os.path.dirname(os.path.abspath(__file__))]
 
 
-class HTMLTranslator(SphinxHTMLTranslator):
+class MyHTMLTranslator(SphinxHTMLTranslator):
     """
     Handle translating to bootstrap structure.
     """
@@ -141,3 +142,25 @@ class HTMLTranslator(SphinxHTMLTranslator):
 
     def visit_container(self, node):
         self.body.append(self.starttag(node, 'div', CLASS='docutils'))
+
+    def add_secnumber(self, node):
+        # type: (nodes.Element) -> None
+        if node.get('secnumber'):
+            numbers = list(map(str, node['secnumber']))
+            if len(numbers) <= 3:
+                self.body.append('.'.join(numbers) + self.secnumber_suffix)
+        elif isinstance(node.parent, nodes.section):
+            if self.builder.name == 'singlehtml':
+                docname = self.docnames[-1]
+                anchorname = "%s/#%s" % (docname, node.parent['ids'][0])
+                if anchorname not in self.builder.secnumbers:
+                    anchorname = "%s/" % docname  # try first heading which 
has no anchor
+            else:
+                anchorname = '#' + node.parent['ids'][0]
+                if anchorname not in self.builder.secnumbers:
+                    anchorname = ''  # try first heading which has no anchor
+            if self.builder.secnumbers.get(anchorname):
+                numbers = list(self.builder.secnumbers[anchorname])
+                if len(numbers) <= 3:
+                    self.body.append('.'.join(map(str, numbers)) +
+                                     self.secnumber_suffix)
diff --git a/_exts/tsref.py b/_exts/tsref.py
index ae0e924..daeb08c 100644
--- a/_exts/tsref.py
+++ b/_exts/tsref.py
@@ -171,7 +171,10 @@ class LinkFilter(Filter):
                 defname = make_id('tsref-type-' + value);
                 t = copy_token(ttype)
                 if defname in id_to_doc:
-                    current_docname = self.app.builder._current_docname
+                    if hasattr(self.app.builder, "_current_docname"):
+                        current_docname = self.app.builder._current_docname
+                    else:
+                        current_docname = "(unknown-doc)"
                     docname = id_to_doc[defname]
                     uri = self.app.builder.get_relative_uri(current_docname, 
docname)
                     href = uri + "#" + defname

-- 
To stop receiving notification emails like this one, please contact
address@hidden.