Rename replace_rtd_links to transform_github_links

since that's what's actually happening now
This commit is contained in:
Anders Ingemann 2015-04-19 13:29:10 +02:00
parent 501e6ad97b
commit b42b788a45
2 changed files with 3 additions and 3 deletions

View file

@ -31,7 +31,7 @@ sys.path.insert(0, os.path.abspath(os.pardir))
extensions = ['sphinx.ext.coverage',
'sphinx.ext.autodoc',
'sphinx.ext.linkcode',
'docs.replace_rtd_links',
'docs.transform_github_links',
]
# Add any paths that contain templates here, relative to this directory.

View file

@ -2,7 +2,7 @@ import re
def setup(app):
app.connect('doctree-resolved', replace_rtd_links)
app.connect('doctree-resolved', transform_github_links)
return {'version': '0.1'}
# Maps from files in docs/ to folders/files in repo
@ -64,7 +64,7 @@ def find_docs_link(link):
return None
def replace_rtd_links(app, doctree, fromdocname):
def transform_github_links(app, doctree, fromdocname):
# Convert relative links in repo into relative links in docs.
# We do this by first figuring out whether the current document
# has been included from outside docs/ and only continue if so.