diff --git a/USER_MANUAL.html b/USER_MANUAL.html index 7de20b8d4..79b77749b 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -571,6 +571,10 @@