From 923723c64467e8e769eb4430e1250d031bbce88a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 12 Dec 2005 13:46:55 +0000
Subject: [PATCH] fix

---
 helm/matita_homepage/Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/helm/matita_homepage/Makefile b/helm/matita_homepage/Makefile
index 128fda049..785334bad 100644
--- a/helm/matita_homepage/Makefile
+++ b/helm/matita_homepage/Makefile
@@ -3,12 +3,19 @@ MARGIN_Y=206
 SIZE_X=426
 SIZE_Y=70
 
+SEQ=3
+
 all: matita.xcf
 	convert matita.xcf matita.png
-	for Y in `seq 0 3`; do \
+	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; \
 		composite -compose src-over bg.png tmp.png bg$$Y.png;\
 	done;\
 	rm tmp.png		
 
+clean:
+	for X in `seq 0 $(SEQ)`; do\
+		rm bg$$X.png;\
+	done
+
-- 
2.39.2