Faire le ménage si on ne regénère pas

Hello,

Ici le plugin s'apercoit qu'il n'est pas nécéssaire de refaire un PDF vu qu'on l'a déjà.

https://git.spip.net/spip-contrib-extensions/pdf_version/src/branch/master/inc/generer_pdf_version_fond.php#L72

Mais il oublie de faire le ménage des fichiers suivant :

@unlink($tmp_file);
@unlink($tmp_file_footer);
@unlink($tmp_file_header);

Donc je suggère de rajouter ca avant de return true.