X-Git-Url: http://git.jankratochvil.net/?a=blobdiff_plain;f=Makefile-head.am;h=40656bc1bcad2d28b60165b3c68f9765f732e498;hb=36886b4c12947100fbb2b16c22f92cb5018475b6;hp=5d24648577da4f52c1cdd9c0aa6d3f41a22f1da6;hpb=023bd9615484000eec756de502600995e7b75fe8;p=www.jankratochvil.net.git diff --git a/Makefile-head.am b/Makefile-head.am index 5d24648..40656bc 100644 --- a/Makefile-head.am +++ b/Makefile-head.am @@ -28,6 +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 -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 $@ $<