Moved paramodulation inside tactics.

[helm.git] / helm / matita_homepage / Makefile

diff --git a/helm/matita_homepage/Makefile b/helm/matita_homepage/Makefile
index 128fda049a5a944f05f8aeb0552e4285d63d9b13..836c264c8fe890f8977b983c1a903797fae7f289 100644 (file)
--- a/helm/matita_homepage/Makefile
+++ b/helm/matita_homepage/Makefile
@@ -3,12 +3,18 @@ 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
+