Makefile: remove old ZIP before creating new one

Otherwise, the ZIP would still contain old removed files.
sustmi · Apr 27, 2023 · d319444 · d319444
1 parent 58d22d9
commit d319444
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -35,6 +35,7 @@ increase_version:
 release: increase_version zip
 
 zip: all
+	rm -f historymanager-prefix-search.zip
 	zip -rq historymanager-prefix-search.zip \
 		CHANGELOG.md \
 		COPYING \

diff --git a/metadata.json b/metadata.json
@@ -13,5 +13,5 @@
     "url": "https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search",
     "settings-schema": "org.gnome.shell.extensions.historymanager-prefix-search",
     "gettext-domain": "historymanager-prefix-search",
-    "version": 17
+    "version": 18
 }