Add Doxygen to generate man and manual pages

2024-05-21 23:38:10 +02:00
parent 0341bd5648
commit a2853dd2e5
303 changed files with 35356 additions and 0 deletions
--- a/docs/manual/search/searchdata.js
+++ b/docs/manual/search/searchdata.js
@@ -0,0 +1,18 @@
+var indexSectionsWithContent =
+{
+  0: "abceknpst",
+  1: "abceknpst"
+};
+
+var indexSectionNames =
+{
+  0: "all",
+  1: "classes"
+};
+
+var indexSectionLabels =
+{
+  0: "All",
+  1: "Classes"
+};
+