# Generally better behaviour but it requires GNU make. Harmless otherwise.
.DELETE_ON_ERROR:
-%.html: %.html.pl $(top_srcdir)/My/Web.pm $(top_srcdir)/WebConfig.pm
- perl -I$(top_srcdir) >$@ $<
-
%.ppm: %.fig Makefile
- fig2dev -L ppm -S4 -b10 $< $@
+ fig2dev -L ppm -S4 -m1.75 -b10 $< | pnmgamma 0.4 >$@
+
+%.gif: %.ppm
+ 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 $@ $<
+