Searched refs:Diff_Pdf (Results 1 - 1 of 1) sorted by relevance
| /seL4-mcs-10.1.1/manual/ | ||
| H A D | Makefile | 76 Diff_Pdf = $(addsuffix .pdf, $(Optional)) macro 102 diff_pdf: $(Figures) Makefile $(Diff_Pdf) 219 ${Q}for i in $(Diff_Pdf); do \ |
Completed in 74 milliseconds