secc
/
seL4-camkes-tool
mirror of https://github.com/seL4/camkes-tool.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-camkes-tool/docs
History
Gerwin Klein 7ce8ef4ef8 docs/Makefile: use svg directly 
Apparently pandoc is good enough to be able to use svg directly for pdf
output.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-07-15 19:53:41 +10:00
..
imgs docs/Makefile: use svg directly 2025-07-15 19:53:41 +10:00
.gitignore convert to SDPX license tags 2021-02-12 17:24:15 +11:00
DEBUG.md convert to SDPX license tags 2021-02-12 17:24:15 +11:00
Makefile docs/Makefile: use svg directly 2025-07-15 19:53:41 +10:00
generate-diagrams.py convert to SDPX license tags 2021-02-12 17:24:15 +11:00
index.md change echo png to svg 2025-07-15 19:53:41 +10:00