badge.svg: misc/badge.svg
	inkscape --export-plain-svg --export-filename=$@ $<
