]> matita.cs.unibo.it Git - helm.git/commitdiff
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 13:46:55 +0000 (13:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 13:46:55 +0000 (13:46 +0000)
helm/matita_homepage/Makefile

index 128fda049a5a944f05f8aeb0552e4285d63d9b13..785334bad4dc78a04ee5d6ee2470c186ebbb86d7 100644 (file)
@@ -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
+