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

/seL4-refos-master/projects/refos/design/
H A DMakefile23 BIBDIR ?= /home/disy/lib/BibTeX:../../../bibtex
28 BibTeX = ${BibTexEnv} bibtex macro
147 @if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi
/seL4-refos-master/kernel/manual/
H A DMakefile20 BIBDIR ?= /home/disy/lib/BibTeX:../../../bibtex
26 BibTeX = ${BibTexEnv} bibtex macro
299 ${Q}if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* > /dev/null && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi

Completed in 37 milliseconds