Home
last modified time | relevance | path

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

/seL4-master/manual/
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…
A DDoxyfile698 # to be installed. See also http://en.wikipedia.org/wiki/BibTeX for more info.
1742 # http://en.wikipedia.org/wiki/BibTeX and \cite for more info.

Completed in 5 milliseconds