Commit Graph

5 Commits

Author SHA1 Message Date
Gerwin Klein 4e27dd6702
markdown_api: fix page-top links
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2025-07-16 09:57:29 +10:00
Gerwin Klein bc4d142f3f
Makefile: refactor libsel4vm/libsel4vmm generation
- use Makefile dependencies instead of shell for-loops
- include generated files in "clean" target
- remove from _config for faster processing; add data in
  gen_markdown_api_doc.py instead

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2025-07-16 09:57:10 +10:00
Gerwin Klein 13017f4cf9 trivial: run python style checker
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
2020-11-30 09:25:37 +11:00
Gerwin Klein 977ed44f17 Add SPDX license identifiers
This commit makes the repository conform to the REUSE spec, using SPDX
license identifiers and copyright info for all files.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
2020-11-30 09:25:37 +11:00
Alison Felizzi 918f580793 tools: Added markdown page doc generator
Added 'gen_markdown_api_doc.py', a simple python script that
takes a markdown file and generates a website doc page populated
with the contents of the markdown file.
2020-03-06 15:59:32 +11:00