rename favicon.png to logo_16x16.png

This was never used as a favicon, it's just a png version of the
favicon.ico. It's actually used for the freedesktop menu file.
This commit is contained in:
Joey Hess 2014-03-16 15:50:53 -04:00
parent 699d49a268
commit 8d5a626a0b
3 changed files with 2 additions and 2 deletions

View file

@ -119,7 +119,7 @@ linuxstandalone-nobuild: Build/Standalone Build/LinuxMkLibs
strip "$(LINUXSTANDALONE_DEST)/bin/git-annex"
ln -sf git-annex "$(LINUXSTANDALONE_DEST)/bin/git-annex-shell"
zcat standalone/licences.gz > $(LINUXSTANDALONE_DEST)/LICENSE
cp doc/favicon.png doc/logo.svg $(LINUXSTANDALONE_DEST)
cp doc/logo_16x16.png doc/logo.svg $(LINUXSTANDALONE_DEST)
./Build/Standalone "$(LINUXSTANDALONE_DEST)"