2017-01-19 03:16:06 -05:00
|
|
|
# based on http://protips.readthedocs.io/link-roles.html
|
|
|
|
|
2018-09-07 07:46:50 -04:00
|
|
|
from __future__ import print_function
|
|
|
|
from __future__ import unicode_literals
|
2018-01-17 14:01:36 -05:00
|
|
|
import re
|
2018-03-15 14:28:58 -04:00
|
|
|
import os
|
2017-01-19 03:16:06 -05:00
|
|
|
from docutils import nodes
|
docs: speed up incremental builds
On each documentation build (‘make html’), doxygen regenerates XML
files. In addition to that, gen-dxd.py regenerates API reference
files under _build/inc/. This results in Sphinx flagging about half
of the input files as modified, and incremental builds taking long
time.
With this change, XML files generated by Doxygen are copied into
docs/xml_in directory only when they are changed. Breathe is pointed
to docs/xml_in directory instead of docs/xml. In addition to that,
gen-dxd.py is modified to only write to the output file when contents
change.
Overall, incremental build time (with no source files changed) is
reduced from ~7 minutes to ~8 seconds (on a particular OS X
computer).
Due to the way Breathe includes Doxygen XML files, there is still
going to be a massive rebuild every time functions, enums, macros,
structures are added or removed from the header files scanned
by Doxygen, but at least individual .rst files can be edited
at a much faster pace.
2018-03-05 07:12:52 -05:00
|
|
|
from local_util import run_cmd_get_output
|
2017-01-19 03:16:06 -05:00
|
|
|
|
2018-12-01 03:25:08 -05:00
|
|
|
|
2017-01-19 03:16:06 -05:00
|
|
|
def get_github_rev():
|
|
|
|
path = run_cmd_get_output('git rev-parse --short HEAD')
|
|
|
|
tag = run_cmd_get_output('git describe --exact-match')
|
2018-09-07 07:46:50 -04:00
|
|
|
print('Git commit ID: ', path)
|
2017-01-19 03:16:06 -05:00
|
|
|
if len(tag):
|
2018-09-07 07:46:50 -04:00
|
|
|
print('Git tag: ', tag)
|
2017-01-19 03:16:06 -05:00
|
|
|
path = tag
|
|
|
|
return path
|
|
|
|
|
2018-12-01 03:25:08 -05:00
|
|
|
|
2017-01-19 03:16:06 -05:00
|
|
|
def setup(app):
|
|
|
|
rev = get_github_rev()
|
2018-03-15 14:28:58 -04:00
|
|
|
|
|
|
|
# links to files or folders on the GitHub
|
|
|
|
baseurl = 'https://github.com/espressif/esp-idf'
|
2017-01-19 03:16:06 -05:00
|
|
|
app.add_role('idf', autolink('{}/tree/{}/%s'.format(baseurl, rev)))
|
|
|
|
app.add_role('idf_file', autolink('{}/blob/{}/%s'.format(baseurl, rev)))
|
|
|
|
app.add_role('idf_raw', autolink('{}/raw/{}/%s'.format(baseurl, rev)))
|
|
|
|
app.add_role('component', autolink('{}/tree/{}/components/%s'.format(baseurl, rev)))
|
|
|
|
app.add_role('component_file', autolink('{}/blob/{}/components/%s'.format(baseurl, rev)))
|
|
|
|
app.add_role('component_raw', autolink('{}/raw/{}/components/%s'.format(baseurl, rev)))
|
|
|
|
app.add_role('example', autolink('{}/tree/{}/examples/%s'.format(baseurl, rev)))
|
|
|
|
app.add_role('example_file', autolink('{}/blob/{}/examples/%s'.format(baseurl, rev)))
|
|
|
|
app.add_role('example_raw', autolink('{}/raw/{}/examples/%s'.format(baseurl, rev)))
|
|
|
|
|
2018-03-15 14:28:58 -04:00
|
|
|
# link to the current documentation file in specific language version
|
|
|
|
on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
|
|
|
|
if on_rtd:
|
|
|
|
# provide RTD specific commit identification to be included in the link
|
|
|
|
tag_rev = 'latest'
|
|
|
|
if (run_cmd_get_output('git rev-parse --short HEAD') != rev):
|
|
|
|
tag_rev = rev
|
|
|
|
else:
|
2018-12-01 03:25:08 -05:00
|
|
|
# if not on the RTD then provide generic identification
|
2018-03-15 14:28:58 -04:00
|
|
|
tag_rev = run_cmd_get_output('git describe --always')
|
|
|
|
|
|
|
|
app.add_role('link_to_translation', crosslink('%s../../%s/{}/%s.html'.format(tag_rev)))
|
|
|
|
|
2018-12-01 03:25:08 -05:00
|
|
|
|
2017-01-19 03:16:06 -05:00
|
|
|
def autolink(pattern):
|
|
|
|
def role(name, rawtext, text, lineno, inliner, options={}, content=[]):
|
2018-12-01 03:25:08 -05:00
|
|
|
m = re.search('(.*)\s*<(.*)>', text) # noqa: W605 - regular expression
|
2018-01-17 14:01:36 -05:00
|
|
|
if m:
|
|
|
|
link_text = m.group(1)
|
|
|
|
link = m.group(2)
|
|
|
|
else:
|
|
|
|
link_text = text
|
|
|
|
link = text
|
|
|
|
url = pattern % (link,)
|
|
|
|
node = nodes.reference(rawtext, link_text, refuri=url, **options)
|
2017-01-19 03:16:06 -05:00
|
|
|
return [node], []
|
|
|
|
return role
|
2018-03-15 14:28:58 -04:00
|
|
|
|
2018-12-01 03:25:08 -05:00
|
|
|
|
2018-03-15 14:28:58 -04:00
|
|
|
def crosslink(pattern):
|
|
|
|
def role(name, rawtext, text, lineno, inliner, options={}, content=[]):
|
|
|
|
(language, link_text) = text.split(':')
|
|
|
|
docname = inliner.document.settings.env.docname
|
|
|
|
doc_path = inliner.document.settings.env.doc2path(docname, None, None)
|
2018-12-01 03:25:08 -05:00
|
|
|
return_path = '../' * doc_path.count('/')
|
2018-03-15 14:28:58 -04:00
|
|
|
url = pattern % (return_path, language, docname)
|
|
|
|
node = nodes.reference(rawtext, link_text, refuri=url, **options)
|
|
|
|
return [node], []
|
|
|
|
return role
|