Convierta muchas páginas web guardadas a PDF

Tengo muchas páginas web guardadas (.html, .htm), me gustaría convertirlas todas a archivos PDF (1 página web a 1 PDF, sin fusionar) a la vez.

¿Qué herramienta recomendarías? Me gustaría crear archivos PDF con texto, no de mapa de bits, para poder buscar en un archivo PDF y copiar texto de él. También quiero que el PDF tenga el mismo nombre de archivo que el archivo HTML (solo una extensión diferente, por supuesto).

¿Para qué sistema(s) operativo(s)?
Buen punto, Windows 7 de 64 bits.

Respuestas (3)

Aunque con un trasfondo diferente, estoy usando PrinceXML para eso. La conversión es tan simple como llamar prince file.html, lo que da como resultado file.pdflo que especificó en su pregunta. Por supuesto, el ajuste fino es posible: a través de CSS y usando las opciones de la línea de comandos.

PrinceXML es gratuito para uso personal, no comercial.

Esto es extraño. Parece que puedo exportar bien el sitio web desde la URL, pero no desde las páginas web guardadas en html. Tengo muchos errores, por ejemplo. error al analizar el nombre del atributo.
Lo uso para páginas locales complejas (mis libros) y no puedo recordar ese error. ¿Esas páginas guardadas están sintácticamente bien? Cuando tenga problemas: el soporte de precios es bastante bueno, solo consulte sus foros.

Investigué wkhtml2pdf para convertir una página web a PDF. Es gratuito y de código abierto, se ejecuta en Windows, OS X y Linux. Entre las opciones de shell y línea de comandos, hará casi cualquier cosa con los archivos y los nombres que necesite. Los archivos PDF son textuales, pero sin duda necesitará un motor de búsqueda que comprenda los formatos PDF para buscarlos correctamente.

Use el creador de PDF para convertir páginas desde cualquier aplicación a archivos PDF. Después de instalar PDF Creator, debe usar el comando de impresión y luego seleccionar PDF Creator de la lista de impresoras.
Esto convertirá las páginas de cualquier aplicación a PDF que admita la impresión de páginas.

Para sus páginas web guardadas : simplemente vuelva a abrirlas en su navegador, luego imprima.