From 89885ee381592d01d4752e5c2b86332301048447 Mon Sep 17 00:00:00 2001 From: martin-frbg Date: Wed, 3 Jul 2024 19:00:59 +0000 Subject: [PATCH] deploy: f729013d2e21b5bcc45ecd6803a695495461bae4 --- docs/404.html | 86 ++++++- docs/about/index.html | 211 +++++++++++++--- docs/build_system/index.html | 149 ++++++++++- docs/ci/index.html | 121 ++++++++- docs/developers/index.html | 290 ++++++++++++++++----- docs/distributing/index.html | 136 +++++++++- docs/extensions/index.html | 246 ++++++++++++++++-- docs/faq/index.html | 118 ++++++++- docs/index.html | 121 ++++++++- docs/install/index.html | 121 ++++++++- docs/search/search_index.json | 2 +- docs/user_manual/index.html | 456 +++++++++++++++++++++++++++------- 12 files changed, 1830 insertions(+), 227 deletions(-) diff --git a/docs/404.html b/docs/404.html index 9fba6d30c..35bc600de 100644 --- a/docs/404.html +++ b/docs/404.html @@ -54,10 +54,12 @@ + - + + @@ -104,9 +106,35 @@ +
+ + + + + + + + + + + + + + +
+ + + + + + +
+ +
+ + +
+
+ GitHub +
+
+
+