[gentoo-commits] proj/policy-guide:master commit in: exts/

[Michał Górny]

commit:     a7f75d8b7bb207469b83d602600487f36346dc8b
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Mon Feb 24 06:56:38 2020 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Tue Feb 25 15:15:25 2020 +0000
URL:        https://gitweb.gentoo.org/proj/policy-guide.git/commit/?id=a7f75d8b

Use #pg links in TOC

Thanks for arzano for the solution.

Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
Closes: https://github.com/gentoo/policy-guide/pull/14
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>

 exts/policyident.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/exts/policyident.py b/exts/policyident.py
index 7ecc9f2..8cdc636 100644
--- a/exts/policyident.py
+++ b/exts/policyident.py
@@ -7,6 +7,7 @@ import collections
 from docutils import nodes
 
 from sphinx.domains import Index
+from sphinx.environment.collectors.toctree import TocTreeCollector
 from sphinx.util import logging
 
 
@@ -15,6 +16,8 @@ logger = logging.getLogger(__name__)
 Policy = collections.namedtuple('Policy', ('id', 'title', 'docname',
                                            'chapter'))
 
+toccollector = TocTreeCollector()
+
 
 class PolicyIndex(Index):
     name = 'policy-index'
@@ -90,6 +93,9 @@ def on_doctree_read(app, doctree):
             env.policy_index.append(Policy(pg_id, title, env.docname,
                                            chapter))
 
+    # update the table of conents to use the 'pgXXXX' ids
+    toccollector.process_doc(app, doctree)
+
 
 def on_env_purge_doc(app, env, docname):
     if not hasattr(env, 'policy_index'):