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

/seL4-refos-master/projects/refos/design/
H A DMakefile68 Bib = extra.bib macro
79 pdf: $(Bib) $(Figures) Makefile $(Pdf)
80 diff_pdf: $(Bib) $(Figures) Makefile $(Diff_Pdf)
141 %.pdf: %.tex $(Bib) $(Figures) Makefile $(Inputs)
142 @if ! test -e $*.bbl || test $(Bib) -nt $*.bbl; then rm -f $*.bbl; fi
/seL4-refos-master/kernel/manual/
H A DMakefile70 Bib = references.bib macro
296 ${Q}if ! test -e $*.bbl || test $(Bib) -nt $*.bbl; then rm -f $*.bbl; fi

Completed in 99 milliseconds