From: Enrico Tassi Date: Mon, 12 Dec 2005 13:50:13 +0000 (+0000) Subject: fix X-Git-Tag: make_still_working~8022 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=670cb5c17cf59b0b7c7f3e5a5e00797780284428;p=helm.git fix --- diff --git a/helm/matita_homepage/Makefile b/helm/matita_homepage/Makefile index 785334bad..a1d5bb5d3 100644 --- a/helm/matita_homepage/Makefile +++ b/helm/matita_homepage/Makefile @@ -6,7 +6,7 @@ SIZE_Y=70 SEQ=3 all: matita.xcf - convert matita.xcf matita.png + 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,4 +18,5 @@ clean: for X in `seq 0 $(SEQ)`; do\ rm bg$$X.png;\ done + rm matita.png diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index e962a0e5a..f6d9ab181 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -3,6 +3,9 @@ Matita home page - developers