diff --git a/doc/platform.txt b/doc/platform.txt
index 111e37e1b..49c255140 100644
--- a/doc/platform.txt
+++ b/doc/platform.txt
@@ -57,11 +57,6 @@
  * \ingroup platform
  */
 
-/**
- * \addtogroup cc2538dk CC2538 Development Kit
- * \ingroup platform
- */
-
 /**
  * \addtogroup cooja COOJA network simulator node
  * \ingroup platform