diff --git a/doc/Manual.html b/doc/Manual.html index d94fa9533a..8d9563c7cd 100644 --- a/doc/Manual.html +++ b/doc/Manual.html @@ -8,7 +8,7 @@ -