diff --git a/src/extra/manual/6.9.6/search.html b/src/extra/manual/6.9.6/search.html index 8dd78690..0cdf8177 100644 --- a/src/extra/manual/6.9.6/search.html +++ b/src/extra/manual/6.9.6/search.html @@ -25,6 +25,8 @@ + + @@ -238,4 +240,4 @@