Home
last modified time | relevance | path

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

/seL4-master/manual/
A DMakefile79 GeneratedLatexDir = generated macro
80 GeneratedLatex = $(wildcard $(GeneratedLatexDir)/*.tex)
127 ${GeneratedLatexDir}/%.tex: ${DoxygenXml}/group__%.xml
133 ${GeneratedLatexDir}/MCSSystemCalls.tex \
136 ${GeneratedLatexDir}/X86SystemCalls.tex \
137 ${GeneratedLatexDir}/ObjectApi.tex \
138 ${GeneratedLatexDir}/ObjectApiX86.tex \
139 ${GeneratedLatexDir}/ObjectApiArm.tex \
142 ${GeneratedLatexDir}/ObjectApiIa32.tex \
143 ${GeneratedLatexDir}/ObjectApiX64.tex \
[all …]

Completed in 3 milliseconds