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

/seL4-refos-master/projects/refos/design/
H A DMakefile15 # To create a LaTeX diff against the CVS HEAD revision, use the target
27 LaTeX = ${LaTeXEnv} pdflatex -shell-escape -interaction=nonstopmode macro
144 @echo "====> LaTeX first pass"
146 @$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi
147 @if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi
148 @if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi
149 @if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >
[all...]
/seL4-refos-master/kernel/manual/
H A DMakefile9 # To create a LaTeX diff against the CVS HEAD revision, use the target
25 LaTeX = ${LaTeXEnv} pdflatex -interaction=nonstopmode macro
276 $(LaTeX) $$i.tex >>.log; \
297 @echo "====> LaTeX first pass: $(<)"
298 ${Q}$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi
299 ${Q}if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* > /dev/null && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi
300 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi
301 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX reru
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex707 % prevents automatic hyphenation in TeX and LaTeX.)
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex707 % prevents automatic hyphenation in TeX and LaTeX.)

Completed in 89 milliseconds