Add SVG icon and more PNG icon sizes to assets

.github/workflows/ci.yml

@@ -213,6 +213,10 @@ jobs:
         # README and LICENSE files
         cp "README.md" "LICENSE-MIT" "LICENSE-APACHE" "$ARCHIVE_DIR"
 
+        # Desktop file and icons
+        mkdir "$ARCHIVE_DIR/assets"
+        cp "assets/numbat.desktop" assets/numbat-*x*.png "assets/numbat.svg" "$ARCHIVE_DIR/assets"
+
         # Numbat prelude
         cp -r numbat/modules "$ARCHIVE_DIR"
 
@@ -262,6 +266,14 @@ jobs:
         install -Dm644 "LICENSE-MIT" "${DPKG_DIR}/usr/share/doc/${DPKG_BASENAME}/LICENSE-MIT"
         install -Dm644 "LICENSE-APACHE" "${DPKG_DIR}/usr/share/doc/${DPKG_BASENAME}/LICENSE-APACHE"
 
+        # Desktop file and icons
+        install -Dm644 "assets/numbat.desktop" "${DPKG_DIR}/usr/share/applications/numbat.desktop"
+        install -Dm644 "assets/numbat.svg" "${DPKG_DIR}/usr/share/icons/hicolor/scalable/apps/numbat.svg"
+
+        for s in 16 22 24 32 48 64 128 256 512; do
+          install -Dm644 "assets/numbat-${s}x${s}.png" "${DPKG_DIR}/usr/share/icons/hicolor/${s}x${s}/apps/numbat.png"
+        done
+
         # Numbat prelude
         mkdir -p "${DPKG_DIR}/usr/share/${DPKG_BASENAME}"
         cp -r numbat/modules "${DPKG_DIR}/usr/share/${DPKG_BASENAME}"

book/src/cli-installation.md

@@ -127,6 +127,10 @@ If this variable is set during compilation, the specified path will be compiled
 In order to test that everything is working as intended, you can open `numbat` and type `let meter = 2`. The
 path in the error message should point to the specified location (and *not* to `<builtin>/…`).
 
-If your OS uses `.desktop` files, you should probably also install `assets/numbat.desktop` and `assets/numbat-*x*.png` to their
-appropriate locations (typically `/usr/share/applications` and `/usr/share/icons` respectively) so that users can e.g. pin
-Numbat to GNOME's Dash.
+If your OS uses `.desktop` files, you should probably also install:
+
+- `assets/numbat.desktop` (typically to `/usr/share/applications`)
+- `assets/numbat.svg` (typically to `/usr/share/icons/hicolor/scalable/apps`)
+- `assets/numbat-*x*.png` (typically to e.g. `/usr/share/icons/hicolor/32x32/apps`, depending on each icon's size)
+
+This allows users to e.g. pin Numbat to GNOME's Dash.