Update Sphinx extlinks for new Jenkins domain name

The Jenkins website, including the wiki subdomain, has moved from
jenkins-ci.org to jenkins.io.

Change-Id: Idd3eae89fdc2363979b4cf33903a0d09b6ae49ae
This commit is contained in:
Daniel Watkins 2017-08-01 14:06:36 -04:00
parent cc200dade0
commit d9f0958627

View File

@ -251,5 +251,5 @@ texinfo_documents = [
# How to display URL addresses: 'footnote', 'no', or 'inline'.
#texinfo_show_urls = 'footnote'
extlinks = {'jenkins-wiki': ('https://wiki.jenkins-ci.org/display/JENKINS/%s',
extlinks = {'jenkins-wiki': ('https://wiki.jenkins.io/display/JENKINS/%s',
None)}