diff --git a/libraries/CMSIS/Documentation/RTOS/html/modules.js b/libraries/CMSIS/Documentation/RTOS/html/modules.js
deleted file mode 100644
--- a/libraries/CMSIS/Documentation/RTOS/html/modules.js
+++ /dev/null
@@ -1,4 +0,0 @@
-var modules =
-[
-    [ "CMSIS-RTOS API", "group___c_m_s_i_s___r_t_o_s.html", "group___c_m_s_i_s___r_t_o_s" ]
-];
\ No newline at end of file