Searched refs:Optional (Results 1 - 1 of 1) sorted by relevance
/seL4-mcs-10.1.1/manual/ | ||
H A D | Makefile | 62 Optional = $(addsuffix -diff, $(Targets)) macro 63 All = $(Targets) $(Optional) 76 Diff_Pdf = $(addsuffix .pdf, $(Optional)) |
Completed in 21 milliseconds