# 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 $< $@
%.gif: %.ppm
- ppmtogif -sort $< >$@
+ ppmtogif -quiet -sort $< >$@
+
+%.ppm: %.gif
+ giftopnm $< >$@
+
+%.png: %.ppm
+ pnmtopng $< >$@
+
+%.ppm: %.png
+ pngtopnm $< >$@
+
+%.png: %.dia $(top_srcdir)/dia-w.sh
+ $(top_srcdir)/dia-w.sh --nosplash --export $@ $<