diff --git a/doc/Manual.html b/doc/Manual.html index a8a9bcd529..5a7436319e 100644 --- a/doc/Manual.html +++ b/doc/Manual.html @@ -32,8 +32,7 @@ - - + @@ -72,22 +71,16 @@ -