diff --git a/platform/toolchain.h b/platform/toolchain.h
index 5f1eafe2a9..6fbef808ca 100644
--- a/platform/toolchain.h
+++ b/platform/toolchain.h
@@ -24,3 +24,5 @@
 #include "platform/mbed_toolchain.h"
 
 #endif
+
+/** @}*/