]> matita.cs.unibo.it Git - helm.git/commitdiff
convert does not export xfc->png properly...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 13:56:37 +0000 (13:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 13:56:37 +0000 (13:56 +0000)
helm/matita_homepage/Makefile
helm/matita_homepage/matita.png [new file with mode: 0644]

index a1d5bb5d32c9548cd9329232088f32bb97a96f82..836c264c8fe890f8977b983c1a903797fae7f289 100644 (file)
@@ -6,7 +6,6 @@ SIZE_Y=70
 SEQ=3
 
 all: matita.xcf
-       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,5 +17,4 @@ clean:
        for X in `seq 0 $(SEQ)`; do\
                rm bg$$X.png;\
        done
-       rm matita.png
 
diff --git a/helm/matita_homepage/matita.png b/helm/matita_homepage/matita.png
new file mode 100644 (file)
index 0000000..27ba924
Binary files /dev/null and b/helm/matita_homepage/matita.png differ