From 670cb5c17cf59b0b7c7f3e5a5e00797780284428 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Dec 2005 13:50:13 +0000 Subject: [PATCH] fix --- helm/matita_homepage/Makefile | 3 ++- helm/matita_homepage/developers.html | 3 +++ 2 files changed, 5 insertions(+), 1 deletion(-) 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 -- 2.39.2