diff --git a/libraries/CMSIS/Documentation/General/html/navtreeindex0.js b/libraries/CMSIS/Documentation/General/html/navtreeindex0.js
deleted file mode 100644
--- a/libraries/CMSIS/Documentation/General/html/navtreeindex0.js
+++ /dev/null
@@ -1,9 +0,0 @@
-var NAVTREEINDEX0 =
-{
-"index.html":[],
-"index.html":[0],
-"index.html#CodingRules":[0,1],
-"index.html#License":[0,2],
-"index.html#Motivation":[0,0],
-"pages.html":[]
-};