+
+uninstall-hook:
+ rm -r $(DESTDIR)$(docdir)
+
+domfilter.png: domfilter.svg
+ unset DISPLAY; inkscape --export-png=$@ --export-width=600 $?
+
+domfilter.eps: domfilter.svg
+ unset DISPLAY; inkscape --export-eps=$@ $?
+
+doc-clean:
+ rm -f manref.xml *.html *.pdf *.[0-9] domfilter.png domfilter.eps
+
+.eps.pdf:
+ epstopdf -hires $?
+