He descubierto en un antiguo post una utilidad que no conocía, y que está especializada en la búsqueda de ficheros PDF

Esto puede ser muy útil para encontrar manuales de todo tipo:

Visto en

http://www.webtuga.com

También te puede interesar

Manuales de servicio para portatiles Compaq

Manuales de servicio para portatiles hp

Manual servidor xSeries 300

Otra web para descargar manuales de servicio de impresoras

Otros sitios para descargar libros sobre linux