From 3d397672a0f6757971a1a20dae23eb18f7e0aed9 Mon Sep 17 00:00:00 2001
From: Hong Xu <hong@topbug.net>
Date: Sun, 29 Mar 2015 21:28:16 -0700
Subject: [PATCH] Link to the external source of the page on arbitrary URL

Currently only source code hosted on GitHub or BitBucket are supported
to be linked. This PR adds the ability to link to an arbitrary source
code host URL. To use it, html_show_sourcelink must be True, and
source_url_prefix must be assigned to be the URL prefix.
---
 sphinx_rtd_theme/breadcrumbs.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sphinx_rtd_theme/breadcrumbs.html b/sphinx_rtd_theme/breadcrumbs.html
index 44f8c1246..af4f55a46 100644
--- a/sphinx_rtd_theme/breadcrumbs.html
+++ b/sphinx_rtd_theme/breadcrumbs.html
@@ -10,6 +10,8 @@
           <a href="https://{{ github_host|default("github.com") }}/{{ github_user }}/{{ github_repo }}/blob/{{ github_version }}{{ conf_py_path }}{{ pagename }}{{ source_suffix }}" class="fa fa-github"> Edit on GitHub</a>
         {% elif display_bitbucket %}
           <a href="https://bitbucket.org/{{ bitbucket_user }}/{{ bitbucket_repo }}/src/{{ bitbucket_version}}{{ conf_py_path }}{{ pagename }}{{ source_suffix }}" class="fa fa-bitbucket"> Edit on Bitbucket</a>
+        {% elif show_source and source_url_prefix %}
+          <a href="{{ source_url_prefix }}{{ pagename }}{{ source_suffix }}">View page source</a>
         {% elif show_source and has_source and sourcename %}
           <a href="{{ pathto('_sources/' + sourcename, true)|e }}" rel="nofollow"> View page source</a>
         {% endif %}