Home
last modified time | relevance | path

Searched refs:GeneratedMarkdownDir (Results 1 – 1 of 1) sorted by relevance

/seL4-master/manual/
A DMakefile82 GeneratedMarkdownDir = generated_markdown macro
83 GeneratedMarkdown = $(wildcard $(GeneratedMarkdownDir)/*.md)
153 ${GeneratedMarkdownDir}/MCSSystemCalls.md \
156 ${GeneratedMarkdownDir}/X86SystemCalls.md \
157 ${GeneratedMarkdownDir}/ObjectApi.md \
158 ${GeneratedMarkdownDir}/ObjectApiX86.md \
159 ${GeneratedMarkdownDir}/ObjectApiArm.md \
160 ${GeneratedMarkdownDir}/ObjectApiAarch32.md \
162 ${GeneratedMarkdownDir}/ObjectApiIa32.md \
163 ${GeneratedMarkdownDir}/ObjectApiX64.md \
[all …]

Completed in 3 milliseconds