Home
last modified time | relevance | path

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

/seL4-master/manual/
A DMakefile21 LaTeXEnv = TEXINPUTS=".:/home/disy/lib/TeX:/home/disy/lib/ps:${TEXINPUTS}:" macro
25 LaTeX = ${LaTeXEnv} pdflatex -interaction=nonstopmode

Completed in 2 milliseconds