diff --git a/USER_MANUAL.html b/USER_MANUAL.html index 7d5e8fcdc..8051f37c4 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -612,6 +612,8 @@