From 915c66130bf639c7bd0b94f5a5c4a79f9148d2b1 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 17 Jan 2017 11:00:05 +0100 Subject: fix icon installation and add 64 and 128 square icons (fixes #141) --- Makefile | 18 ++++++++++-------- etc/desktop/icons/128x128/proofgeneral.png | Bin 0 -> 14117 bytes etc/desktop/icons/64x64/proofgeneral.png | Bin 0 -> 5045 bytes 3 files changed, 10 insertions(+), 8 deletions(-) create mode 100644 etc/desktop/icons/128x128/proofgeneral.png create mode 100644 etc/desktop/icons/64x64/proofgeneral.png diff --git a/Makefile b/Makefile index bcdd1db1..b6006aa0 100644 --- a/Makefile +++ b/Makefile @@ -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 diff --git a/etc/desktop/icons/128x128/proofgeneral.png b/etc/desktop/icons/128x128/proofgeneral.png new file mode 100644 index 00000000..555e4a87 Binary files /dev/null and b/etc/desktop/icons/128x128/proofgeneral.png differ diff --git a/etc/desktop/icons/64x64/proofgeneral.png b/etc/desktop/icons/64x64/proofgeneral.png new file mode 100644 index 00000000..15492240 Binary files /dev/null and b/etc/desktop/icons/64x64/proofgeneral.png differ -- cgit v1.2.3