diff --git a/MANUAL.html b/MANUAL.html index 0cbfcecd6..471b22e47 100644 --- a/MANUAL.html +++ b/MANUAL.html @@ -5,6 +5,7 @@ +