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

/seL4-refos-master/kernel/manual/
H A DMakefile82 GeneratedMarkdownDir = generated_markdown macro
83 GeneratedMarkdown = $(wildcard $(GeneratedMarkdownDir)/*.md)
147 ${GeneratedMarkdownDir}/%.md: ${DoxygenXml}/group__%.xml Makefile
152 generated-markdown: ${GeneratedMarkdownDir}/GeneralSystemCalls.md \
153 ${GeneratedMarkdownDir}/MCSSystemCalls.md \
154 ${GeneratedMarkdownDir}/DebuggingSystemCalls.md \
155 ${GeneratedMarkdownDir}/BenchmarkingSystemCalls.md \
156 ${GeneratedMarkdownDir}/X86SystemCalls.md \
157 ${GeneratedMarkdownDir}/ObjectApi.md \
158 ${GeneratedMarkdownDir}/ObjectApiX8
[all...]

Completed in 24 milliseconds