+ ppmquant -quiet 256 $< | ppmtogif -quiet -sort >$@
+
+# Prevent: make: Circular %.ppm <- %.gif dependency dropped.
+#%.ppm: %.gif
+# giftopnm $< >$@
+
+%.png: %.ppm
+ pnmtopng $< >$@
+
+%.ppm: %.png
+ pngtopnm $< >$@
+
+%.png: %.dia $(top_srcdir)/dia-w.sh
+ $(top_srcdir)/dia-w.sh --nosplash --export $@ $<