diff --git a/docs/manual.html b/docs/manual.html index 788a9a1f1..90779cbb9 100755 --- a/docs/manual.html +++ b/docs/manual.html @@ -14,56 +14,59 @@

Contents