subpaging

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

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.
 

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
+