From 56990ebb4a70a6dff94f23235d61a52d92afb989 Mon Sep 17 00:00:00 2001 From: Yuwen Hu <54161268+Oscilloscope98@users.noreply.github.com> Date: Tue, 20 Sep 2022 16:26:27 +0800 Subject: [PATCH] [Document] Reword "Edit on Github" Button (#5802) * Overide sphinx_rtd_theme style to remove 'Edit on Github' button * Change 'Edit on Github' button to 'Edit this page' for every readthedocs pages * Add lisence for adapting sphinx_rtd_theme/breadcrumbs.html --- .../source/_templates/breadcrumbs.html | 60 +++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100644 docs/readthedocs/source/_templates/breadcrumbs.html diff --git a/docs/readthedocs/source/_templates/breadcrumbs.html b/docs/readthedocs/source/_templates/breadcrumbs.html new file mode 100644 index 00000000..599388dc --- /dev/null +++ b/docs/readthedocs/source/_templates/breadcrumbs.html @@ -0,0 +1,60 @@ + + +{%- extends "sphinx_rtd_theme/breadcrumbs.html" %} + + +{%- block breadcrumbs_aside %} +
  • + {%- if hasdoc(pagename) and display_vcs_links %} + {%- if display_github %} + {%- if check_meta and 'github_url' in meta %} + + {{ _('Edit this page') }} + {%- else %} + {{ _('Edit this page') }} + {%- endif %} + {%- elif show_source and source_url_prefix %} + {{ _('View page source') }} + {%- elif show_source and has_source and sourcename %} + {{ _('View page source') }} + {%- endif %} + {%- endif %} +
  • +{%- endblock %} \ No newline at end of file