Merge branch 'maj_mai_2025' into 'master'

Allow resuming PDF generation

See merge request !42

generate_all_pdf.sh

@@ -28,16 +28,21 @@ read_env
 
 BASE_URL=`sed -e 's/^"//' -e 's/"$//' <<<"$BASE_URL"`
 
-rm -rf pdf/*
+# rm -rf pdf/*
 mkdir -p pdf
-mkdir -p reduced-pdf
 rm -rf reduced-pdf/*
+mkdir -p reduced-pdf
 cd pdf
 
 
 echo "Start building PDF..."
 for c in $(cat ../circo.txt)
 do
+    if [ -f "../pdf/$c.pdf" ]; then
+        echo "$c.pdf already exists in reduced-pdf. Skipping."
+        continue
+    fi
+
     echo "wget -O $c.pdf \"$BASE_URL/circo-print/$c\""
     wget -O $c.pdf "$BASE_URL/circo-print/$c"
     echo "$c Cr_ation de la vignette"