From ab1cdbbde367e16045dbdcd1d3f97aefcdb1761e Mon Sep 17 00:00:00 2001 From: Daan Date: Tue, 4 Jun 2024 14:58:58 -0700 Subject: [PATCH] add search js files for docs --- docs/search/all_10.js | 4 ++++ docs/search/all_e.js | 5 +++++ docs/search/all_f.js | 4 ++++ docs/search/groups_9.js | 4 ++++ docs/search/groups_a.js | 5 +++++ docs/search/groups_b.js | 4 ++++ docs/search/groups_c.js | 4 ++++ docs/search/groups_d.js | 4 ++++ docs/search/pages_5.js | 4 ++++ docs/search/pages_6.js | 4 ++++ docs/search/pages_7.js | 4 ++++ docs/search/variables_4.js | 4 ++++ 12 files changed, 50 insertions(+) create mode 100644 docs/search/all_10.js create mode 100644 docs/search/all_e.js create mode 100644 docs/search/all_f.js create mode 100644 docs/search/groups_9.js create mode 100644 docs/search/groups_a.js create mode 100644 docs/search/groups_b.js create mode 100644 docs/search/groups_c.js create mode 100644 docs/search/groups_d.js create mode 100644 docs/search/pages_5.js create mode 100644 docs/search/pages_6.js create mode 100644 docs/search/pages_7.js create mode 100644 docs/search/variables_4.js diff --git a/docs/search/all_10.js b/docs/search/all_10.js new file mode 100644 index 00000000..1437d04a --- /dev/null +++ b/docs/search/all_10.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['zero_20initialized_20re_20allocation_0',['Zero initialized re-allocation',['../group__zeroinit.html',1,'']]] +]; diff --git a/docs/search/all_e.js b/docs/search/all_e.js new file mode 100644 index 00000000..4c8c2e89 --- /dev/null +++ b/docs/search/all_e.js @@ -0,0 +1,5 @@ +var searchData= +[ + ['used_0',['used',['../group__analysis.html#ab820302c5cd0df133eb8e51650a008b4',1,'mi_heap_area_t']]], + ['using_20the_20library_1',['Using the library',['../using.html',1,'']]] +]; diff --git a/docs/search/all_f.js b/docs/search/all_f.js new file mode 100644 index 00000000..8f445b9f --- /dev/null +++ b/docs/search/all_f.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['wrappers_0',['C++ wrappers',['../group__cpp.html',1,'']]] +]; diff --git a/docs/search/groups_9.js b/docs/search/groups_9.js new file mode 100644 index 00000000..bc342946 --- /dev/null +++ b/docs/search/groups_9.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['posix_0',['Posix',['../group__posix.html',1,'']]] +]; diff --git a/docs/search/groups_a.js b/docs/search/groups_a.js new file mode 100644 index 00000000..5f2947aa --- /dev/null +++ b/docs/search/groups_a.js @@ -0,0 +1,5 @@ +var searchData= +[ + ['re_20allocation_0',['Zero initialized re-allocation',['../group__zeroinit.html',1,'']]], + ['runtime_20options_1',['Runtime Options',['../group__options.html',1,'']]] +]; diff --git a/docs/search/groups_b.js b/docs/search/groups_b.js new file mode 100644 index 00000000..56eb25ea --- /dev/null +++ b/docs/search/groups_b.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['typed_20macros_0',['Typed Macros',['../group__typed.html',1,'']]] +]; diff --git a/docs/search/groups_c.js b/docs/search/groups_c.js new file mode 100644 index 00000000..8f445b9f --- /dev/null +++ b/docs/search/groups_c.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['wrappers_0',['C++ wrappers',['../group__cpp.html',1,'']]] +]; diff --git a/docs/search/groups_d.js b/docs/search/groups_d.js new file mode 100644 index 00000000..1437d04a --- /dev/null +++ b/docs/search/groups_d.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['zero_20initialized_20re_20allocation_0',['Zero initialized re-allocation',['../group__zeroinit.html',1,'']]] +]; diff --git a/docs/search/pages_5.js b/docs/search/pages_5.js new file mode 100644 index 00000000..31424809 --- /dev/null +++ b/docs/search/pages_5.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['performance_0',['Performance',['../bench.html',1,'']]] +]; diff --git a/docs/search/pages_6.js b/docs/search/pages_6.js new file mode 100644 index 00000000..308a1780 --- /dev/null +++ b/docs/search/pages_6.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['the_20library_0',['Using the library',['../using.html',1,'']]] +]; diff --git a/docs/search/pages_7.js b/docs/search/pages_7.js new file mode 100644 index 00000000..4806a818 --- /dev/null +++ b/docs/search/pages_7.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['using_20the_20library_0',['Using the library',['../using.html',1,'']]] +]; diff --git a/docs/search/variables_4.js b/docs/search/variables_4.js new file mode 100644 index 00000000..230778b8 --- /dev/null +++ b/docs/search/variables_4.js @@ -0,0 +1,4 @@ +var searchData= +[ + ['used_0',['used',['../group__analysis.html#ab820302c5cd0df133eb8e51650a008b4',1,'mi_heap_area_t']]] +];