diff --git a/USER_MANUAL.html b/USER_MANUAL.html index 9ebac6bc6..74c3675c5 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -648,6 +648,9 @@