Remove doxygen infra

2026-01-06 01:41:07 +01:00
parent 7747e5e0aa
commit 902682ac11
16 changed files with 3 additions and 7057 deletions
--- a/make/docs.mk
+++ b/make/docs.mk
@@ -1,7 +1,4 @@
-doxygen_kernel:
-	make -C kernel platform=$(platform) doxygen
-
-docs: doxygen_kernel
+docs:
 	mkdocs build

-.PHONY: docs doxygen_kernel
+.PHONY: docs