diff --git a/docs/manual.html b/docs/manual.html index c067d9c72..ad6444b02 100755 --- a/docs/manual.html +++ b/docs/manual.html @@ -40,33 +40,35 @@
  • alerts
  • -
  • exceptions