diff --git a/doc/doc2/Manual.html.html b/doc/doc2/Manual.html.html index 264968990e..8f70256301 100644 --- a/doc/doc2/Manual.html.html +++ b/doc/doc2/Manual.html.html @@ -3,7 +3,7 @@