]> matita.cs.unibo.it Git - helm.git/commitdiff
- some changes in the crux icon
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Nov 2010 14:51:22 +0000 (14:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Nov 2010 14:51:22 +0000 (14:51 +0000)
- the installation of the icons is now automatized

helm/software/lambda-delta/Makefile
helm/software/lambda-delta/icons/crux-16.ico
helm/software/lambda-delta/icons/crux-32.png

index 7ee8e5f580d8677f7fbfe89c66d1d38ca01b2618..893d7e3e112ed7efdd436cb906924f5f7b20c17a 100644 (file)
@@ -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)
index 6c3a2a1184bfcec33ddca10176498671c4839640..7323c8af8a6fc93033836e619b391e684f41794e 100644 (file)
Binary files a/helm/software/lambda-delta/icons/crux-16.ico and b/helm/software/lambda-delta/icons/crux-16.ico differ
index fe369d292805b2f1283d8e86a6486e6120839a0f..be5524e5eb0637de48d4b6fd5fb9376c6bbb9c38 100644 (file)
Binary files a/helm/software/lambda-delta/icons/crux-32.png and b/helm/software/lambda-delta/icons/crux-32.png differ