Home
last modified time | relevance | path

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

/seL4-master/manual/
A DMakefile69 Pdf = $(addsuffix .pdf, $(Targets)) macro
97 pdf: generated-latex $(Figures) Makefile $(Pdf)
217 ${Q}for i in $(Pdf); do \
227 ${Q}for i in $(Pdf); do \

Completed in 3 milliseconds