diff --git a/Makefile b/Makefile
index 52bb3bdb..3847d238 100644
--- a/Makefile
+++ b/Makefile
@@ -53,7 +53,10 @@ clean:
 
 docs:
 	mkdir -p doc/markdown/platform
-	curl 'https://raw.githubusercontent.com/lf-lang/lf-riot-uc-template/refs/heads/main/README.md' > doc/markdown/platform/riot.md
-	curl 'https://raw.githubusercontent.com/lf-lang/lf-zephyr-uc-template/refs/heads/main/README.md' > doc/markdown/platform/zephyr.md
-	curl 'https://raw.githubusercontent.com/lf-lang/lf-pico-uc-template/refs/heads/main/README.md' > doc/markdown/platform/pico.md
+	echo "\page platform-riot RIOT OS" > doc/markdown/platform/riot.md
+	curl 'https://raw.githubusercontent.com/lf-lang/lf-riot-uc-template/refs/heads/main/README.md' >> doc/markdown/platform/riot.md
+	echo "\page platform-zephyr Zephyr" > doc/markdown/platform/zephyr.md
+	curl 'https://raw.githubusercontent.com/lf-lang/lf-zephyr-uc-template/refs/heads/main/README.md' >> doc/markdown/platform/zephyr.md
+	echo "\page platform-pico Raspberry Pi Pico" > doc/markdown/platform/pico.md
+	curl 'https://raw.githubusercontent.com/lf-lang/lf-pico-uc-template/refs/heads/main/README.md' >> doc/markdown/platform/pico.md
 	doxygen
diff --git a/doc/markdown/langding_page.md b/doc/markdown/langding_page.md
index 71490617..5fdd592d 100644
--- a/doc/markdown/langding_page.md
+++ b/doc/markdown/langding_page.md
@@ -1,10 +1,8 @@
+\page reactor-uc-introduction Introduction into reactor-uc
+
 Reactor Micro-C 
 ====================
 
-@subpage platform/riot.md
-@subpage platform/zephyr.md
-@subpage platform/pico.md
-
 `reactor-uc` is a task scheduling runtime implementing the reactor
 model-of-computation target at embedded and resource-constrained systems.
 
diff --git a/doc/markdown/platforms.md b/doc/markdown/platforms.md
new file mode 100644
index 00000000..dee19bc6
--- /dev/null
+++ b/doc/markdown/platforms.md
@@ -0,0 +1,11 @@
+\page platform Supported Platforms
+
+Supported Platforms by reactor-uc
+====================
+
+reactor-uc officially supports the following platforms:
+
+- \subpage platform-riot RIOT OS
+- \subpage platform-zephyr Zephyr
+- \subpage platform-pico Raspberry Pi Pico
+