diff --git a/os/ports/GCC/ARM7/chcore.c b/os/ports/GCC/ARM7/chcore.c
index 4abd9cc2f..51ed31fc3 100644
--- a/os/ports/GCC/ARM7/chcore.c
+++ b/os/ports/GCC/ARM7/chcore.c
@@ -18,8 +18,9 @@
 */
 
 /**
- * @file ARM7/chcore.c
- * @brief ARM7 architecture port code.
+ * @file    ARM7/chcore.c
+ * @brief   ARM7 architecture port code.
+ *
  * @addtogroup ARM7_CORE
  * @{
  */
@@ -29,9 +30,9 @@
 /**
  * Halts the system.
  */
-/** @cond never */
+#if !defined(__DOXYGEN__)
 __attribute__((weak))
-/** @endcond */
+#endif
 void port_halt(void) {
 
   port_disable();
diff --git a/os/ports/GCC/ARM7/chcoreasm.s b/os/ports/GCC/ARM7/chcoreasm.s
index 198de687a..e7d68a061 100644
--- a/os/ports/GCC/ARM7/chcoreasm.s
+++ b/os/ports/GCC/ARM7/chcoreasm.s
@@ -18,8 +18,9 @@
 */
 
 /**
- * @file ARM7/chcoreasm.s
- * @brief ARM7 architecture port low level code.
+ * @file    ARM7/chcoreasm.s
+ * @brief   ARM7 architecture port low level code.
+ *
  * @addtogroup ARM7_CORE
  * @{
  */
diff --git a/os/ports/GCC/ARM7/crt0.s b/os/ports/GCC/ARM7/crt0.s
index fceef23cc..e5a39b520 100644
--- a/os/ports/GCC/ARM7/crt0.s
+++ b/os/ports/GCC/ARM7/crt0.s
@@ -18,8 +18,9 @@
 */
 
 /**
- * @file ARM7/crt0.s
- * @brief Generic ARM7 startup file for ChibiOS/RT.
+ * @file    ARM7/crt0.s
+ * @brief   Generic ARM7 startup file for ChibiOS/RT.
+ *
  * @addtogroup ARM7_CORE
  * @{
  */
diff --git a/os/ports/GCC/ARMCMx/crt0.s b/os/ports/GCC/ARMCMx/crt0.s
index 51739aa62..579292415 100644
--- a/os/ports/GCC/ARMCMx/crt0.s
+++ b/os/ports/GCC/ARMCMx/crt0.s
@@ -18,8 +18,9 @@
 */
 
 /**
- * @file ARMCMx/crt0.s
- * @brief Generic ARM Cortex-Mx startup file for ChibiOS/RT.
+ * @file    ARMCMx/crt0.s
+ * @brief   Generic ARM Cortex-Mx startup file for ChibiOS/RT.
+ *
  * @addtogroup ARMCMx_CORE
  * @{
  */