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

/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dbuild.sh3 pdflatex user_doc.tex && pdflatex user_doc.tex && pdflatex user_doc.tex
/seL4-camkes-master/tools/cogent/cogent/doc/
H A DMakefile5 pdf: doc.tex
6 latexmk -pdf -pdflatex="pdflatex -interaction=nonstopmode" -use-make doc.tex
/seL4-camkes-master/projects/capdl/capDL-tool/doc/tex/
H A DMakefile9 GEN=capDL_generated.tex
11 capDL.pdf: capDL.tex $(GEN)
/seL4-camkes-master/kernel/manual/
H A DMakefile41 # To add a second target, simply append the basename of the .tex file here
71 Tex = $(addsuffix .tex, $(Targets))
80 GeneratedLatex = $(wildcard $(GeneratedLatexDir)/*.tex)
123 ${GeneratedLatexDir}/%SystemCalls.tex: ${DoxygenXml}/group__%SystemCalls.xml
127 ${GeneratedLatexDir}/%.tex: ${DoxygenXml}/group__%.xml
132 generated-latex: ${GeneratedLatexDir}/GeneralSystemCalls.tex \
133 ${GeneratedLatexDir}/MCSSystemCalls.tex \
134 ${GeneratedLatexDir}/DebuggingSystemCalls.tex \
135 ${GeneratedLatexDir}/BenchmarkingSystemCalls.tex \
136 ${GeneratedLatexDir}/X86SystemCalls.tex \
[all...]
/seL4-camkes-master/kernel/manual/parts/
H A Dapi.tex10 \newcommand{\inputapidoc}[1] {\input{parts/api/#1.tex}}
11 \newcommand{\inputgeneratedapidoc}[1] {\input{generated/#1.tex}}
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c161 word_t tex; local
163 tex = 5; /* TEX = 0b1(Cached)01(Outer Write Allocate) */
165 tex = 0;
173 tex,

Completed in 90 milliseconds