Index: kernel/arch/ppc32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ppc32/src/proc/scheduler.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/ppc32/src/proc/scheduler.c	(revision 6d00aff50f676ed00b7c450e0aa0dfa31f2108e1)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ppc32proc
+/** @addtogroup kernel_ppc32_proc
  * @{
  */