diff --git a/Libraries/CMSIS/Documentation/RTOS/html/pages.html b/libraries/CMSIS/Documentation/RTOS/html/pages.html copy from Libraries/CMSIS/Documentation/RTOS/html/pages.html copy to libraries/CMSIS/Documentation/RTOS/html/pages.html