diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html
index 31a103ad9fdf..640fd3c1872f 100644
--- a/doc/_templates/layout.html
+++ b/doc/_templates/layout.html
@@ -51,7 +51,7 @@
             <li><a href="{{ pathto('tutorials/index') }}">Tutorials</a></li>
             <li><a href="{{ pathto('devel/index') }}">Contributing</a></li>
             <li class="nav-right">
-                <form class="search" action="search.html" method="get">
+                <form class="search" action="{{ pathto('search') }}" method="get">
                 <input type="text" name="q" aria-labelledby="searchlabel" placeholder="Search"/>
                 </form>
             </li>