diff --git a/DOCS/documentation.html b/DOCS/documentation.html index 3d637d1075..e10ec27f87 100644 --- a/DOCS/documentation.html +++ b/DOCS/documentation.html @@ -60,8 +60,8 @@