diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-07-09 19:56:30 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-07-09 19:56:30 -0400 |
| commit | ffb8a2d9d6140fb50d9d3553be923b0b8f5cffed (patch) | |
| tree | ace4e7fa5a5d5f6cb225b6246d87a565b10a58af /.ghci | |
| parent | a16a6979515886f2496c5204b886dc76748a3c82 (diff) | |
Install XDG desktop icon files.
The icon files will be installed when running make install or cabal
install. Did not try to run update-icon-caches, since I think it's debian
specific, and dh_icons will take care of that for the Debian package.
Using the favicon as a 16x16 icon. At 24x24 the svg displays pretty well,
although the dotted lines are rather faint. The svg is ok at all higher
resolutions.
The standalone linux build auto-installs the desktop and autostart files
when run. I have not made it auto-install the icon file too, because
a) that would take more work to include them in the tarball and find them
b) it would need to be an install to ~/.icons/, and I don't know if that
really works!
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions