Update documentation

2023-09-20 16:43:13 +02:00
parent 57c66655a5
commit 725cf5b33a
76 changed files with 6269 additions and 0 deletions
--- a/doc/html/search/searchdata.js
+++ b/doc/html/search/searchdata.js
@@ -0,0 +1,27 @@
+var indexSectionsWithContent =
+{
+  0: "bcdjmstu",
+  1: "jmtu",
+  2: "cjms",
+  3: "d",
+  4: "b"
+};
+
+var indexSectionNames =
+{
+  0: "all",
+  1: "files",
+  2: "functions",
+  3: "defines",
+  4: "pages"
+};
+
+var indexSectionLabels =
+{
+  0: "All",
+  1: "Files",
+  2: "Functions",
+  3: "Macros",
+  4: "Pages"
+};
+