diff --git a/build.xml b/build.xml
index b8b470c139..20998f28d9 100644
--- a/build.xml
+++ b/build.xml
@@ -724,6 +724,10 @@
+
{{ _('Your search did not match any documents. Please make sure that all words are spelled correctly.') }}
+ {% endif %} + {% endif %} +{{ context|e }}
+