diff --git a/manual/templates/searchbox.html b/manual/templates/searchbox.html index 499672921c..fcfc3407cf 100644 --- a/manual/templates/searchbox.html +++ b/manual/templates/searchbox.html @@ -1,7 +1,7 @@ {%- if pagename != "search" and builder != "singlehtml" %}