diff --git a/doc/Manual.html b/doc/Manual.html index 480ee03f..388eec05 100644 --- a/doc/Manual.html +++ b/doc/Manual.html @@ -12,6 +12,7 @@