From 2f7a9a8a037b514b693aadc2130b8a9aaa831be5 Mon Sep 17 00:00:00 2001
From: gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>
Date: Thu, 2 Jan 2014 13:52:38 +0000
Subject: [PATCH] git-svn-id:
 svn://svn.code.sf.net/p/chibios/svn/branches/kernel_3_dev@6597
 35acf78f-673a-0410-8e92-d51de3d6d3f4

---
 os/hal/ports/STM32F4xx/hal_lld.h        | 13 +++++++++----
 os/hal/ports/STM32F4xx/stm32_registry.h |  2 +-
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/os/hal/ports/STM32F4xx/hal_lld.h b/os/hal/ports/STM32F4xx/hal_lld.h
index 4bbf9f16b..c7f9ed864 100644
--- a/os/hal/ports/STM32F4xx/hal_lld.h
+++ b/os/hal/ports/STM32F4xx/hal_lld.h
@@ -58,17 +58,22 @@
 #if defined(STM32F429_439xx) || defined(__DOXYGEN__)
 #define PLATFORM_NAME           "STM32F429/F439 High Performance with DSP and FPU"
 #define STM32F4XX
-#elif defined(STM32F427_437xx) || defined(__DOXYGEN__)
+
+#elif defined(STM32F427_437xx)
 #define PLATFORM_NAME           "STM32F427/F437 High Performance with DSP and FPU"
 #define STM32F4XX
-#elif defined(STM32F40_41xxx) || defined(__DOXYGEN__)
+
+#elif defined(STM32F40_41xxx)
 #define PLATFORM_NAME           "STM32F407/F417 High Performance with DSP and FPU"
 #define STM32F4XX
-#elif defined(STM32F401xx) || defined(__DOXYGEN__)
+
+#elif defined(STM32F401xx)
 #define PLATFORM_NAME           "STM32F401 High Performance with DSP and FPU"
 #define STM32F4XX
-#elif defined(STM32F2XX) || defined(__DOXYGEN__)
+
+#elif defined(STM32F2XX)
 #define PLATFORM_NAME           "STM32F2xx High Performance"
+
 #else
 #error "STM32F2xx/F4xx device not specified"
 #endif
diff --git a/os/hal/ports/STM32F4xx/stm32_registry.h b/os/hal/ports/STM32F4xx/stm32_registry.h
index d1d476627..8e15527f9 100644
--- a/os/hal/ports/STM32F4xx/stm32_registry.h
+++ b/os/hal/ports/STM32F4xx/stm32_registry.h
@@ -30,7 +30,7 @@
 /*===========================================================================*/
 
 /**
- * @name    STM32F30x capabilities
+ * @name    STM32F4xx capabilities
  * @{
  */
 /* ADC attributes.*/