Production de l'archive dist.zip dans le script de preparation a la production

.gitignore

@@ -3,4 +3,5 @@ tuiles
 data/44-2025-0315-6730-LA93-0M20-E080-pseudo-mercator.jp2.tif*
 data/BDORTHO_2-0_RVB-0M20_JP2-E080_LAMB93_D044_2025-01-01
 *.blend?
-dist
+dist
+dist.zip

package-prod.sh

@@ -18,6 +18,7 @@ cp -v -r ./icons "$OUT"
 mkdir "$OUT/assets"
 cp -v ./assets/button-stepped-border-image.svg "$OUT/assets"
 cp -v ./assets/neon-border-image.svg "$OUT/assets"
+cp -v ./assets/neon-border-image-corner.svg "$OUT/assets"
 
 echo "Copie des données"
 mkdir "$OUT/couches"
@@ -29,4 +30,9 @@ cp -r ./tuiles "$OUT/tuiles"
 echo "Creation de l'archive du code source"
 git ls-tree -r HEAD --name-only -z | tar -cvz -f "$OUT/carte-camp-code-source.tar.gz" --null -T -
 
-echo "Package de production produit dans le dossier ./dist/"
+echo "Package de production produit dans le dossier ./dist/"
+
+rm -f dist.zip
+zip -v -o -r dist.zip ./dist/
+
+echo "Package pret à publier dans dist.zip"