1 files changed, 36 insertions, 0 deletions
diff --git a/doc/html/search/searchdata.js b/doc/html/search/searchdata.js
new file mode 100644
index 0000000..e53fffc
--- /dev/null
+++ b/doc/html/search/searchdata.js
@@ -0,0 +1,36 @@
+var indexSectionsWithContent =
+{
+  0: "abcdegilmnopqrstvwxy",
+  1: "aeilmnopqrstvw",
+  2: "mw",
+  3: "m",
+  4: "cglxy",
+  5: "w",
+  6: "bdrs",
+  7: "g"
+};
+
+var indexSectionNames =
+{
+  0: "all",
+  1: "classes",
+  2: "files",
+  3: "functions",
+  4: "variables",
+  5: "enums",
+  6: "enumvalues",
+  7: "pages"
+};
+
+var indexSectionLabels =
+{
+  0: "All",
+  1: "Classes",
+  2: "Files",
+  3: "Functions",
+  4: "Variables",
+  5: "Enumerations",
+  6: "Enumerator",
+  7: "Pages"
+};
+