docs: new page with mdbook (#8342)

- Use mdbook to generate a book from collection of documents
 - documents are
     - copied and processed from READMEs
     - original content stored in the docs_src folder
     - markdeep docs transformed into embedded html
 - Main logic is in script docs_src/build/run.py
This commit is contained in:
Powei Feng
2025-01-13 22:56:30 -08:00
committed by GitHub
parent 65c30f3199
commit 026b985c07
212 changed files with 15354 additions and 384 deletions

View File

@@ -0,0 +1,3 @@
# Tools
Collection of README.md from the `/tools` folder.