From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 2 Feb 2006 23:02:58 +0000 (+0000)
Subject: - moved images in images/
X-Git-Tag: make_still_working~7661
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f98eeb911a76531c36d1da56e07eb48568f37734;p=helm.git

- moved images in images/
- now all pages are valid xhtml 1.0 strict
---

diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile
index 836c264c8..1f5d2d3c5 100644
--- a/helm/www/matita/Makefile
+++ b/helm/www/matita/Makefile
@@ -5,16 +5,16 @@ SIZE_Y=70
 
 SEQ=3
 
-all: matita.xcf
+all: images/matita.xcf
 	for Y in `seq 0 $(SEQ)`; do \
-		convert matita.png -crop \
+		convert images/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;\
+		composite -compose src-over images/bg.png tmp.png images/bg$$Y.png;\
 	done;\
 	rm tmp.png		
 
 clean:
 	for X in `seq 0 $(SEQ)`; do\
-		rm bg$$X.png;\
+		rm images/bg$$X.png;\
 	done
 
diff --git a/helm/www/matita/bg.png b/helm/www/matita/bg.png
deleted file mode 100644
index a3d5532d4..000000000
Binary files a/helm/www/matita/bg.png and /dev/null differ
diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml
index edb173b45..fdd490526 100644
--- a/helm/www/matita/bottombar.shtml
+++ b/helm/www/matita/bottombar.shtml
@@ -11,3 +11,4 @@
 
   </tr>
 </table>
+<!-- $Id$ -->
diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 0b7c82d9d..8d284de03 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -13,3 +13,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index f99082eef..85b831f39 100644
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -32,3 +32,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 2ab98e1f2..3046178a3 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -13,3 +13,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->
diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 86f442d3a..ccf44ed3b 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -18,3 +18,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->
diff --git a/helm/www/matita/images/bg.png b/helm/www/matita/images/bg.png
new file mode 100644
index 000000000..a3d5532d4
Binary files /dev/null and b/helm/www/matita/images/bg.png differ
diff --git a/helm/www/matita/images/matita.png b/helm/www/matita/images/matita.png
new file mode 100644
index 000000000..7ef6f4b9b
Binary files /dev/null and b/helm/www/matita/images/matita.png differ
diff --git a/helm/www/matita/images/matita.xcf b/helm/www/matita/images/matita.xcf
new file mode 100644
index 000000000..d4b1804fa
Binary files /dev/null and b/helm/www/matita/images/matita.xcf differ
diff --git a/helm/www/matita/matita.png b/helm/www/matita/matita.png
deleted file mode 100644
index 7ef6f4b9b..000000000
Binary files a/helm/www/matita/matita.png and /dev/null differ
diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 2bf6a2119..245cba1c3 100644
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -12,7 +12,7 @@
   	margin-right:auto;
   	margin-top:50px;
   	padding: 0;
-  	background: url(matita.png) top left no-repeat;
+  	background: url(images/matita.png) top left no-repeat;
   	height: 590px;
   	width: 485px; 
   	position: relative;
@@ -24,22 +24,22 @@
   dd#developersDef{ top: 206px; left: 30px; }
   dd#developersDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#developersDef a span{ display: none; }
-  dd#developersDef a:hover{ position: absolute; background: transparent url(bg0.png) ; top: 0px}
+  dd#developersDef a:hover{ position: absolute; background: transparent url(images/bg0.png) ; top: 0px}
   
   dd#documentationDef{ top: 277px; left: 30px; }
   dd#documentationDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#documentationDef a span{ display: none; }
-  dd#documentationDef a:hover{ position: absolute; background: transparent url(bg1.png) ; top: 0px}
+  dd#documentationDef a:hover{ position: absolute; background: transparent url(images/bg1.png) ; top: 0px}
   
   dd#communityDef{ top: 348px; left: 30px; }
   dd#communityDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#communityDef a span{ display: none; }
-  dd#communityDef a:hover{ position: absolute; background: transparent url(bg2.png) ; top: 0px}
+  dd#communityDef a:hover{ position: absolute; background: transparent url(images/bg2.png) ; top: 0px}
   
   dd#downloadDef{ top: 419px; left: 30px; }
   dd#downloadDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#downloadDef a span{ display: none; }
-  dd#downloadDef a:hover{ position: absolute; background: transparent url(bg3.png) ; top: 0px}
+  dd#downloadDef a:hover{ position: absolute; background: transparent url(images/bg3.png) ; top: 0px}
 
  div#ex {margin-left:auto; margin-right:auto}
  </style>
@@ -47,7 +47,7 @@
   <body>
 
 <div id="ex" >
-<img src="matita.png" width="485" height="590" border="0" class="image" />
+<img src="images/matita.png" width="485" height="590" border="0" class="image" />
 
     <dl id="matitaMap">
      <dt id="developers">1. Developers</dt>
@@ -61,8 +61,6 @@
     </dl>
     <div>
   
-<!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
-
 <!-- $Id$ -->
diff --git a/helm/www/matita/matita.xcf b/helm/www/matita/matita.xcf
deleted file mode 100644
index d4b1804fa..000000000
Binary files a/helm/www/matita/matita.xcf and /dev/null differ