diff options
| author | Pierre Courtieu | 2017-01-26 11:32:46 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2017-01-26 11:32:46 +0100 |
| commit | cf290f2da6513c42ad57620136c7e6b6cebf8e11 (patch) | |
| tree | b1114d17e8c507bae32520851b468d1ac4770232 /Makefile | |
| parent | c6e44de22de8dfe7a5c9521201937a8302ec12c9 (diff) | |
| parent | 4bcac92df46da9e68b5e3d565bb118fb63b4feb4 (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG into master_origin
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 18 |
1 files changed, 10 insertions, 8 deletions
@@ -163,14 +163,16 @@ INFODIR=${PREFIX}/share/info install: install-desktop install-elisp install-bin install-init install-desktop: - mkdir -p ${DESKTOP}/icons/hicolor/16x16 - cp etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16 - mkdir -p ${DESKTOP}/icons/hicolor/32x32 - cp etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32 - mkdir -p ${DESKTOP}/icons/hicolor/48x48 - cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48 - mkdir -p ${DESKTOP}/pixmaps - cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps + mkdir -p ${DESKTOP}/icons/hicolor/16x16/apps + cp etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16/apps + mkdir -p ${DESKTOP}/icons/hicolor/32x32/apps + cp etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32/apps + mkdir -p ${DESKTOP}/icons/hicolor/48x48/apps + cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48/apps + mkdir -p ${DESKTOP}/icons/hicolor/64x64/apps + cp etc/desktop/icons/64x64/proofgeneral.png ${DESKTOP}/icons/hicolor/64x64/apps + mkdir -p ${DESKTOP}/icons/hicolor/128x128/apps + cp etc/desktop/icons/128x128/proofgeneral.png ${DESKTOP}/icons/hicolor/128x128/apps mkdir -p ${DESKTOP}/applications cp etc/desktop/proofgeneral.desktop ${DESKTOP}/applications mkdir -p ${DESKTOP}/mime-info |