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

/seL4-mcs-10.1.1/manual/
H A DMakefile265 Rerun_Bib = 'No file.*\.bbl|Citation.*undefined' macro
296 ${Q}if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* > /dev/null && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi

Completed in 21 milliseconds