]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile
- some changes in the crux icon
[helm.git] / helm / software / lambda-delta / Makefile
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)