1 files changed, 39 insertions, 0 deletions
diff --git a/doc/html/search/searchdata.js b/doc/html/search/searchdata.js
new file mode 100644
index 0000000..9dbaa1a
--- /dev/null
+++ b/doc/html/search/searchdata.js
@@ -0,0 +1,39 @@
+var indexSectionsWithContent =
+{
+  0: "acdeghilnoprstuv",
+  1: "cghnoprsv",
+  2: "his",
+  3: "acgnoprs",
+  4: "acdeghilnopstuv",
+  5: "n",
+  6: "n",
+  7: "n",
+  8: "co"
+};
+
+var indexSectionNames =
+{
+  0: "all",
+  1: "classes",
+  2: "files",
+  3: "functions",
+  4: "variables",
+  5: "typedefs",
+  6: "enums",
+  7: "enumvalues",
+  8: "pages"
+};
+
+var indexSectionLabels =
+{
+  0: "All",
+  1: "Classes",
+  2: "Files",
+  3: "Functions",
+  4: "Variables",
+  5: "Typedefs",
+  6: "Enumerations",
+  7: "Enumerator",
+  8: "Pages"
+};
+