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

/seL4-master/manual/
A D	Makefile	51 ExtraFigs= #imgs/eps-fig.pdf macro 67 …=.pdf) $(Fig_Sources:.fig=.pdf) $(Gnuplot_Sources:.gnuplot=.pdf) $(R_Sources:.r=.pdf) $(ExtraFigs)

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023