+
+uninstall-hook:
+ rm -r $(DESTDIR)/$(docdir)
+
+domfilter.png: domfilter.svg
+ inkscape --export-png=$@ --export-width=600 --export-area-drawing $?
+
+domfilter.eps: domfilter.svg
+ inkscape --export-eps=$@ --export-bbox-page $?
+
+.eps.pdf:
+ epstopdf -hires $?
+