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

/seL4-refos-master/projects/refos/design/
H A DMakefile70 Diff_Pdf = $(addsuffix .pdf, $(Optional)) macro
80 diff_pdf: $(Bib) $(Figures) Makefile $(Diff_Pdf)
115 ${PdfView} $(Diff_Pdf) &
/seL4-refos-master/kernel/manual/
H A DMakefile72 Diff_Pdf = $(addsuffix .pdf, $(Optional)) macro
98 diff_pdf: $(Figures) Makefile $(Diff_Pdf)
222 ${Q}for i in $(Diff_Pdf); do \

Completed in 28 milliseconds