diff --git a/doc/Manual.html b/doc/Manual.html index 9f5747a5f0..1ec6b50285 100644 --- a/doc/Manual.html +++ b/doc/Manual.html @@ -8,7 +8,7 @@ -