diff --git a/docs/_templates/edit-this-page.html b/docs/_templates/edit-this-page.html index 0254d1a2a2..c474a4a7e3 100644 --- a/docs/_templates/edit-this-page.html +++ b/docs/_templates/edit-this-page.html @@ -1,9 +1,9 @@ {% if sourcename is defined and theme_use_edit_page_button and page_source_suffix %} {% set src = sourcename.split('.') %}