From: Enrico Tassi Date: Mon, 12 Dec 2005 13:56:37 +0000 (+0000) Subject: convert does not export xfc->png properly... X-Git-Tag: make_still_working~8021 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5dd5b3f6cd990d4d126b44c092e1df7f86c506d4;p=helm.git convert does not export xfc->png properly... --- diff --git a/helm/matita_homepage/Makefile b/helm/matita_homepage/Makefile index a1d5bb5d3..836c264c8 100644 --- a/helm/matita_homepage/Makefile +++ b/helm/matita_homepage/Makefile @@ -6,7 +6,6 @@ SIZE_Y=70 SEQ=3 all: matita.xcf - convert -flatten matita.xcf matita.png for Y in `seq 0 $(SEQ)`; do \ convert matita.png -crop \ $(SIZE_X)x$(SIZE_Y)+$(MARGIN_X)+`expr $(MARGIN_Y) + $$Y '*' '(' $(SIZE_Y) + 1 ')'` tmp.png; \ @@ -18,5 +17,4 @@ clean: for X in `seq 0 $(SEQ)`; do\ rm bg$$X.png;\ done - rm matita.png diff --git a/helm/matita_homepage/matita.png b/helm/matita_homepage/matita.png new file mode 100644 index 000000000..27ba924ca Binary files /dev/null and b/helm/matita_homepage/matita.png differ