]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 923723c)
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 13:50:13 +0000 (13:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 13:50:13 +0000 (13:50 +0000)
helm/matita_homepage/Makefile patch | blob | history
helm/matita_homepage/developers.html patch | blob | history

diff --git a/helm/matita_homepage/Makefile b/helm/matita_homepage/Makefile
index 785334bad4dc78a04ee5d6ee2470c186ebbb86d7..a1d5bb5d32c9548cd9329232088f32bb97a96f82 100644 (file)
--- 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 e962a0e5af08d05839701a191c9738b3bc40a80d..f6d9ab18137de50f7f8790214524db44fd8fdf6c 100644 (file)
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -3,6 +3,9 @@
   <title>Matita home page - developers</title>
  </head>
  <style>
+
+ 
+ 
  </style>
 
   <body>
Unnamed repository; edit this file 'description' to name the repository.