mirror of https://github.com/seL4/docs.git
23cf63658e
- process {{#include ... }} directives
- replace {{#tab ... }} directives with Jekyll includes
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
|
||
|---|---|---|
| .. | ||
| README.md | ||
README.md
Target directory for generated files
This is target directory directory for generated/processed files based on data
or input taken from other repositories in ../_repos.
-
tutes/contains processed md files from the sel4-tutorials repository -
microkit-tutorial/contains processed md files from the microkit-tutorial repo.
These files will then be included via Jekyll/Liquid tags elsewhere in the site.