diff --git a/docs/manual.html b/docs/manual.html index d592caff8..f861a8787 100644 --- a/docs/manual.html +++ b/docs/manual.html @@ -25,172 +25,176 @@

Table of contents