X-Git-Url: http://git.jankratochvil.net/?p=www.jankratochvil.net.git;a=blobdiff_plain;f=Makefile-head.am;h=40656bc1bcad2d28b60165b3c68f9765f732e498;hp=098112c98b2b0ff54eaf0c1f8b7bb65d32e1440a;hb=f05f81898a17178575ecece8f32f828fae8babf2;hpb=3bd47e92eef01a839c869920f4919779a220d4ba diff --git a/Makefile-head.am b/Makefile-head.am index 098112c..40656bc 100644 --- a/Makefile-head.am +++ b/Makefile-head.am @@ -28,12 +28,22 @@ 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 $< $@ + 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 $@ $< +