2 IMAGES=add.png edit.png gear.png info.png menu.png \
3 notify_off.png star.png delete.png feed.png group.png \
4 lock.png notice.png notify_on.png user.png link.png \
7 DESTS=10/ 16/ 22/ 48/ \
8 $(addprefix 10/, $(IMAGES)) \
9 $(addprefix 16/, $(IMAGES)) \
10 $(addprefix 22/, $(IMAGES)) \
11 $(addprefix 48/, $(IMAGES))
19 convert $< -resize 10x10 $@
22 convert $< -resize 16x16 $@
25 convert $< -resize 22x22 $@
28 convert $< -resize 48x48 $@