From: Ferruccio Guidi Date: Thu, 4 Nov 2010 14:51:22 +0000 (+0000) Subject: - some changes in the crux icon X-Git-Tag: make_still_working~2735 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=01b29f47d0d3e6c131fbdcc7a4180d428c8c97b9;p=helm.git - some changes in the crux icon - the installation of the icons is now automatized --- diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile index 7ee8e5f58..893d7e3e1 100644 --- a/helm/software/lambda-delta/Makefile +++ b/helm/software/lambda-delta/Makefile @@ -94,3 +94,7 @@ install-dtd: xml/ld.dtd install-xml: etc/make-html.sh @echo " INSTALL xml" $(H)scp -r xml/index.txt xml/ld.dtd xml/brg-si/ xml/crg-si/ $(XMLDIR) + +install-icons: + @echo " INSTALL *.png *.ico" + $(H)scp icons/*.png icons/*.ico $(DOWNDIR) diff --git a/helm/software/lambda-delta/icons/crux-16.ico b/helm/software/lambda-delta/icons/crux-16.ico index 6c3a2a118..7323c8af8 100644 Binary files a/helm/software/lambda-delta/icons/crux-16.ico and b/helm/software/lambda-delta/icons/crux-16.ico differ diff --git a/helm/software/lambda-delta/icons/crux-32.png b/helm/software/lambda-delta/icons/crux-32.png index fe369d292..be5524e5e 100644 Binary files a/helm/software/lambda-delta/icons/crux-32.png and b/helm/software/lambda-delta/icons/crux-32.png differ