From c97c02e83b92e35fe45c46ccf05b5735e642a9ed Mon Sep 17 00:00:00 2001 From: John R Barker Date: Thu, 5 Apr 2018 19:20:03 +0100 Subject: [PATCH] Fix the automatic docsite_pr label (#37999) (#38351) (cherry picked from commit cdf9e39647406bf8eb6cbf3fa6dd2230ef7dc181) --- docs/docsite/_themes/sphinx_rtd_theme/breadcrumbs.html | 4 ++-- docs/templates/plugin.rst.j2 | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/docsite/_themes/sphinx_rtd_theme/breadcrumbs.html b/docs/docsite/_themes/sphinx_rtd_theme/breadcrumbs.html index 3dfe7e75318..0b4eb150bfb 100644 --- a/docs/docsite/_themes/sphinx_rtd_theme/breadcrumbs.html +++ b/docs/docsite/_themes/sphinx_rtd_theme/breadcrumbs.html @@ -3,11 +3,11 @@
  • {{ title }}
    • {% if pagename.endswith('_module') %}
  • - Edit on GitHub + Edit on GitHub
    • {% elif (not 'list_of' in pagename) and (not 'category' in pagename) %}
  • - Edit on GitHub + Edit on GitHub
    • {% endif %} diff --git a/docs/templates/plugin.rst.j2 b/docs/templates/plugin.rst.j2 index 2572232c79c..a173fe37759 100644 --- a/docs/templates/plugin.rst.j2 +++ b/docs/templates/plugin.rst.j2 @@ -399,4 +399,4 @@ Author {% endif %} .. hint:: - If you notice any issues in this documentation you can `edit this document `_ to improve it. + If you notice any issues in this documentation you can `edit this document `_ to improve it.