Conversion par lots de HTML en PDF avec un format de papier personnalisé

J'ai environ 200 fichiers HTML que je dois convertir en PDF. Le plus délicat est que je dois le convertir en un format de papier personnalisé (dans ce cas, 5,4 "x 7,2"). Acrobat 9 ne me laissera pas convertir par lots en une taille personnalisée. Existe-t-il un moyen de le faire sans entrer et imprimer manuellement chaque fichier individuel au format PDF?

J'utilise principalement Windows 7, mais je ne suis pas opposé à une solution Linux (Debian).

demandé sur