Index: kernel/arch/mips32/src/cache.c
===================================================================
--- kernel/arch/mips32/src/cache.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/cache.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -45,3 +45,2 @@
 /** @}
  */
-
Index: kernel/arch/mips32/src/console.c
===================================================================
--- kernel/arch/mips32/src/console.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/console.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -65,5 +65,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/ddi/ddi.c
===================================================================
--- kernel/arch/mips32/src/ddi/ddi.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/ddi/ddi.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32ddi
+/** @addtogroup mips32ddi
  * @{
  */
@@ -56,5 +56,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/debugger.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32debug
+/** @addtogroup mips32debug
  * @{
  */
@@ -384,5 +384,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/mips32/src/drivers/arc.c
===================================================================
--- kernel/arch/mips32/src/drivers/arc.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/drivers/arc.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -408,6 +408,4 @@
 }
 
-
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/mips32/src/drivers/msim.c
===================================================================
--- kernel/arch/mips32/src/drivers/msim.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/drivers/msim.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -127,5 +127,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/drivers/serial.c
===================================================================
--- kernel/arch/mips32/src/drivers/serial.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/drivers/serial.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -144,5 +144,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/interrupt.c
===================================================================
--- kernel/arch/mips32/src/interrupt.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/interrupt.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -144,3 +144,2 @@
 /** @}
  */
-
Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/mips32.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -32,5 +32,4 @@
 /** @file
  */
-
 
 #include <arch.h>
@@ -180,5 +179,4 @@
 }
 
-
 /** @}
  */
Index: kernel/arch/mips32/src/mm/as.c
===================================================================
--- kernel/arch/mips32/src/mm/as.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/mm/as.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32mm
+/** @addtogroup mips32mm
  * @{
  */
@@ -73,6 +73,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/mm/page.c
===================================================================
--- kernel/arch/mips32/src/mm/page.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/mips32/src/mm/page.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32mm	
+/** @addtogroup mips32mm	
  * @{
  */
@@ -51,5 +51,4 @@
 }
 
- /** @}
+/** @}
  */
-