Plus besoin de vignette

generate_all_pdf.sh

@@ -41,9 +41,9 @@ do
     echo "wget -O $c.pdf \"$BASE_URL/circonscriptions/$c\""
     wget -O $c.pdf "$BASE_URL/circonscriptions/$c"
     echo "$c Cr_ation de la vignette"
-    convert $c.pdf[0] -resize 50% -background white -flatten -type palette $c.pdf.png > /dev/null
-    optipng $c.pdf.png > /dev/null 2>/dev/null
-    mv $c.pdf.png ../reduced-pdf/
+    # convert $c.pdf[0] -resize 50% -background white -flatten -type palette $c.pdf.png > /dev/null
+    # optipng $c.pdf.png > /dev/null 2>/dev/null
+    # mv $c.pdf.png ../reduced-pdf/
     gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -dPDFSETTINGS=/prepress -sOutputFile=../reduced-pdf/$c.pdf $c.pdf
     rm $c.pdf # remove original pdf to make space
 done