1 files changed, 5 insertions, 0 deletions
diff --git a/doc/html/navtreeindex0.js b/doc/html/navtreeindex0.js
new file mode 100644
index 0000000..9e75a21
--- /dev/null
+++ b/doc/html/navtreeindex0.js
@@ -0,0 +1,5 @@
+var NAVTREEINDEX0 =
+{
+"index.html":[],
+"pages.html":[]
+};