+echo "creating zip archives..."
+cp client.src progs.src
+cat progs.src | zip ../xonotic-client.zip -@ > /dev/null
+cp server.src progs.src
+cat progs.src | zip ../xonotic-server.zip -@ > /dev/null
+cp menu.src progs.src
+cat progs.src | zip ../xonotic-menu.zip -@ > /dev/null
+rm client.src server.src menu.src progs.src