From 6df301accc8b2ef4e4e6649fb0f69e99658ddcdd Mon Sep 17 00:00:00 2001
From: Karl Palsson <karlp@etactica.com>
Date: Tue, 25 Jun 2019 11:40:55 +0000
Subject: [PATCH] doc: efm32: timer: properly tag the shared header as well

---
 include/libopencm3/efm32/common/timer_common.h | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/include/libopencm3/efm32/common/timer_common.h b/include/libopencm3/efm32/common/timer_common.h
index 4b05d128..a89d2e35 100644
--- a/include/libopencm3/efm32/common/timer_common.h
+++ b/include/libopencm3/efm32/common/timer_common.h
@@ -1,3 +1,5 @@
+/** @addtogroup timer_defines
+ */
 /*
  * This file is part of the libopencm3 project.
  *
@@ -17,12 +19,13 @@
  * along with this library.  If not, see <http://www.gnu.org/licenses/>.
  */
 
-#ifndef LIBOPENCM3_EFM32_TIMER_H
-#define LIBOPENCM3_EFM32_TIMER_H
+#pragma once
 
 #include <libopencm3/efm32/memorymap.h>
 #include <libopencm3/cm3/common.h>
 
+/**@{*/
+
 #define TIMER_CTRL(base)		MMIO32((base) + 0x000)
 #define TIMER_CMD(base)			MMIO32((base) + 0x004)
 #define TIMER_STATUS(base)		MMIO32((base) + 0x008)
@@ -606,5 +609,4 @@ void timer_set_top(uint32_t timer, uint32_t top);
 
 END_DECLS
 
-#endif
-
+/**@}*/
\ No newline at end of file