diff --git a/boards/cc1352p-launchpad/doc.txt b/boards/cc1352p-launchpad/doc.txt
index a228e0fc7c..fa2377cdf0 100644
--- a/boards/cc1352p-launchpad/doc.txt
+++ b/boards/cc1352p-launchpad/doc.txt
@@ -3,20 +3,13 @@
 @ingroup         boards
 @brief           Texas Instruments SimpleLink(TM) CC1352P Wireless MCU LaunchPad(TM) Kit
 
-## <a name="cc1352p_launchpad_toc"> Table of Contents </a> &nbsp;[[TOC]](#cc1352p_launchpad_toc)
-
-1. [Overview](#cc1352p_launchpad_overview)
-2. [Hardware](#cc1352p_launchpad_hardware)
-3. [Board pinout](#cc1352p_launcpad_pinout)
-4. [Flashing the Device](#cc1352p_launchpad_flashing)
-
-## <a name="cc1352p_launchpad_overview"> Overview </a> &nbsp;[[TOC]](#cc1352p_launchpad_toc)
+## Overview
 
 The [LAUNCHXL-CC1352P](http://www.ti.com/tool/LAUNCHXL-CC1352P) is a Texas
 Instrument's development kit for the CC1352P SoC which combines dual-band wireless MCU
 with integrated power amplifier.
 
-## <a name="cc1352p_launchpad_hardware"> Hardware </a> &nbsp;[[TOC]](#cc1352p_launchpad_toc)
+## Hardware
 
 ![LAUNCHPAD-CC1352P](http://www.ti.com/diagrams/launchxl-cc1352p_launchxl-cc1352p_mcu041a_cc1352p1.jpg)
 
@@ -42,12 +35,12 @@ The board comes in two variants with different RF matching network on the 20 dBm
 - LAUNCHXL-CC1352P1: 868/915 MHz up to 20 dBm, 2.4 GHz up to 5 dBm
 - LAUNCHXL-CC1352P-2: 868/915 MHz up to 14 dBm, 2.4 GHz up to 20 dBm.
 
-## <a name="cc1352p_launchpad_pinout"> Board pinout </a> &nbsp;[[TOC]](#cc1352p_launchpad_toc)
+## Board pinout
 
 The [LAUNCHXL-CC1352P1 Quick Start Guide](https://www.ti.com/lit/ug/swau108a/swau108a.pdf)
 provides the default pinout for the board.
 
-## <a name="cc1352p_launchpad_flashing"> Flashing the Device </a> &nbsp;[[TOC]](#cc1352p_launchpad_toc)
+## Flashing the Device
 
 Flashing RIOT is quite straight forward. The board comes with an XDS110 on-board
 debug probe that provides programming, flashing and debugging capabilities