X-Git-Url: https://git.jankratochvil.net/?a=blobdiff_plain;f=Makefile-head.am;h=c3ea56a57ae12929e79e886d711f887c69f07e61;hb=87881612a38624ab579efed6e93749b0e2b42fc7;hp=4f4aa180d0841e38a91a5d794dccbb1096b9b5b6;hpb=7c7e14a7211e080d8798c9b6b585caf775c4b51d;p=www.jankratochvil.net.git

diff --git a/Makefile-head.am b/Makefile-head.am
index 4f4aa18..c3ea56a 100644
--- a/Makefile-head.am
+++ b/Makefile-head.am
@@ -28,12 +28,21 @@ noinst_DATA=
 # 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 $@ $<