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 @@ - \ No newline at end of file + diff --git a/src/extra/manual/6.9.7/search.html b/src/extra/manual/6.9.7/search.html index 8e5fda41..b2df23c5 100644 --- a/src/extra/manual/6.9.7/search.html +++ b/src/extra/manual/6.9.7/search.html @@ -25,6 +25,8 @@ + + @@ -239,4 +241,4 @@ - \ No newline at end of file + diff --git a/src/extra/manual/beta/search.html b/src/extra/manual/beta/search.html index b80d6bfe..965cfdb3 100644 --- a/src/extra/manual/beta/search.html +++ b/src/extra/manual/beta/search.html @@ -25,6 +25,8 @@ + + @@ -240,4 +242,4 @@ - \ No newline at end of file +