doxygen: add prefix for page name (#9989)

Add prefix "page_" to the name of pages.

Add this as a rule in guide of writing doxygen documents.

Signed-off-by: Chen Wang <unicorn_wang@outlook.com>
This commit is contained in:
Chen Wang
2025-02-13 23:28:19 +08:00
committed by GitHub
parent d8079e3843
commit f6f7d91a61
43 changed files with 123 additions and 123 deletions

View File

@@ -1,10 +1,10 @@
@page kernel Kenrel
@page page_kernel Kenrel
- @subpage kernel_basics
- @subpage thread_management
- @subpage clock_management
- @subpage thread_sync
- @subpage thread_comm
- @subpage memory_management
- @subpage interrupt_management
- @subpage kernel_porting
- @subpage page_kernel_basics
- @subpage page_thread_management
- @subpage page_clock_management
- @subpage page_thread_sync
- @subpage page_thread_comm
- @subpage page_memory_management
- @subpage page_interrupt_management
- @subpage page_kernel_porting