Home
last modified time | relevance | path

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

/seL4-master/manual/
A DMakefile268 Rerun_Bib = 'No file.*\.bbl|Citation.*undefined' macro
299 …${Q}if egrep -q $(Rerun_Bib) $*.log ; then echo "====> BibTex" && $(BibTeX) $* > /dev/null && echo…

Completed in 7 milliseconds