make.images

来自「BASH Shell 编程 经典教程 《高级SHELL脚本编程》中文版」· IMAGES 代码 · 共 11 行

GIF	:= $(wildcard *.gif)
EPS	:= $(GIF:.gif=.eps)
PDF	:= $(GIF:.gif=.pdf)

%.eps:	%.gif
	convert $< $@

%.pdf:	%.eps
	epstopdf --outfile=$@ $<