From 1762ad9472c3abf25ae7f46cbae4c77ae7674a0f Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Thu, 3 Jun 2021 08:30:07 -0700 Subject: documentation: update the included html manual Forgot to do that when updating the user manual the last time. Signed-off-by: Dirk Hohndel --- Documentation/user-manual.html.git | 520 +++++++++++++++++++++++++++++-------- 1 file changed, 410 insertions(+), 110 deletions(-) (limited to 'Documentation') diff --git a/Documentation/user-manual.html.git b/Documentation/user-manual.html.git index c501dbd9f..03d767e3b 100644 --- a/Documentation/user-manual.html.git +++ b/Documentation/user-manual.html.git @@ -4,7 +4,7 @@ - +