From f72c7cab8688ddfc4721e960ce4ee54702f50b05 Mon Sep 17 00:00:00 2001 From: Jenkins Server Date: Wed, 11 Feb 2026 14:48:19 +0100 Subject: [PATCH] Recommit for updates in build 5 --- doc/file.README.html | 43 ++++++++++++++++++++++++++++++++++--------- doc/index.html | 43 ++++++++++++++++++++++++++++++++++--------- 2 files changed, 68 insertions(+), 18 deletions(-) diff --git a/doc/file.README.html b/doc/file.README.html index 20d8d4c..b57197c 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -60,9 +60,38 @@

Readme

-

- -

[[TOC]]

+

+

Synopsis

@@ -115,13 +144,9 @@

All dependencies must be included in the catalogue.

Deployment

diff --git a/doc/index.html b/doc/index.html index 93f160a..e42f12e 100644 --- a/doc/index.html +++ b/doc/index.html @@ -60,9 +60,38 @@

Readme

-

- -

[[TOC]]

+

+

Synopsis

@@ -115,13 +144,9 @@

All dependencies must be included in the catalogue.

Deployment