1 files changed, 0 insertions, 11 deletions
diff --git a/doc/html/dir_817f6d302394b98e59575acdb59998bc.js b/doc/html/dir_817f6d302394b98e59575acdb59998bc.js
deleted file mode 100644
index c33882a29..000000000
--- a/doc/html/dir_817f6d302394b98e59575acdb59998bc.js
+++ /dev/null
@@ -1,11 +0,0 @@
-var dir_817f6d302394b98e59575acdb59998bc =
-[
-    [ "choklet.php", "choklet_8php.html", null ],
-    [ "default.php", "php_2default_8php.html", "php_2default_8php" ],
-    [ "full.php", "full_8php.html", "full_8php" ],
-    [ "minimal.php", "minimal_8php.html", null ],
-    [ "mod_import.php", "mod__import_8php.html", "mod__import_8php" ],
-    [ "none.php", "none_8php.html", null ],
-    [ "redable.php", "redable_8php.html", "redable_8php" ],
-    [ "theme_init.php", "php_2theme__init_8php.html", "php_2theme__init_8php" ]
-];
-\ No newline at end of file