@@ -2066,6 +2067,7 @@
+
diff --git a/doc/doc2/search.html b/doc/doc2/search.html
index 31a6e1cfd0..112deb6952 100644
--- a/doc/doc2/search.html
+++ b/doc/doc2/search.html
@@ -115,6 +115,7 @@
+
@@ -172,6 +173,7 @@
+