diff --git a/doc/documentation.html b/doc/documentation.html index c487a29a..11985aa9 100644 --- a/doc/documentation.html +++ b/doc/documentation.html @@ -5,7 +5,7 @@