From bdd77df7bb1e91a4722daf437a0dc985799eaaf2 Mon Sep 17 00:00:00 2001
From: Santos Gallegos <stsewd@protonmail.com>
Date: Mon, 1 Jun 2020 14:02:08 -0500
Subject: [PATCH] Search page: don't show "edit on" links

This page is autogenerated, so it doesn't have "a real page".

Fixes https://github.com/readthedocs/sphinx_rtd_theme/issues/934
---
 sphinx_rtd_theme/breadcrumbs.html | 6 ++++--
 sphinx_rtd_theme/search.html      | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/sphinx_rtd_theme/breadcrumbs.html b/sphinx_rtd_theme/breadcrumbs.html
index 90cb0ff86..cf64d1547 100644
--- a/sphinx_rtd_theme/breadcrumbs.html
+++ b/sphinx_rtd_theme/breadcrumbs.html
@@ -24,6 +24,8 @@
 {% set display_gitlab = True %}
 {% endif %}
 
+{% set display_vcs_links = display_vcs_links if display_vcs_links is defined else True %}
+
 <div role="navigation" aria-label="breadcrumbs navigation">
 
   <ul class="wy-breadcrumbs">
@@ -36,8 +38,8 @@
     {% endblock %}
     {% block breadcrumbs_aside %}
       <li class="wy-breadcrumbs-aside">
-        {% if hasdoc(pagename) %}
-            {% if display_github %}
+        {% if hasdoc(pagename) and display_vcs_links %}
+          {% if display_github %}
             {% if check_meta and 'github_url' in meta %}
               <!-- User defined GitHub URL -->
               <a href="{{ meta['github_url'] }}" class="fa fa-github"> {{ _('Edit on GitHub') }}</a>
diff --git a/sphinx_rtd_theme/search.html b/sphinx_rtd_theme/search.html
index 10ac568c4..296ef2615 100644
--- a/sphinx_rtd_theme/search.html
+++ b/sphinx_rtd_theme/search.html
@@ -9,6 +9,7 @@
 #}
 {%- extends "layout.html" %}
 {% set title = _('Search') %}
+{% set display_vcs_links = False %}
 {%- block scripts %}
     {{ super() }}
     <script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script>