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

/seL4-mcs-10.1.1/manual/
H A DMakefile13 # To create a LaTeX diff against the CVS HEAD revision, use the target
29 LaTeX = ${LaTeXEnv} pdflatex -interaction=nonstopmode macro
273 $(LaTeX) $$i.tex >>.log; \
294 @echo "====> LaTeX first pass: $(<)"
295 ${Q}$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi
296 ${Q}if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* > /dev/null && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi
297 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi
298 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX reru
[all...]

Completed in 68 milliseconds