Ciaolinux

Per installarlo utilizzate Synaptic oppure digitate in un terminale:

sudo apt-get install htmldoc

Finita l'installazione aprite la finestra "Esegui applicazione..." e digitate "htmldoc" senza virgolette.

All'apertura il programma si presenta così:

Nella scheda "Input" facendo clic sul pulsante "Add Files..." selezionate uno alla volta il o i file HTML che volete convertire

Invece, fate clic sul pulsante "Add URL..." se volete inserite uno alla volta l'url delle pagine HTML che volete convertire.

Nell'esempio che vi propongo ho trasformato un mio articolo in pdf andando ad inserire l'url.

Tenete presente che l'ordine in cui andate ad inserire le pagine HTML viene conservato. 

Selezionate una delle tre voci in corrispondenza di "Document Type":

• Book se volete creare un file pdf con una copertina e un indice costruito automaticamente.
  
• Continuous se non volete lasciare spazi bianchi nella trasformazione da pagine web in pagine pdf.
• Web Page se volete, al contrario della precedente opzione, far cominciare le pagine del pdf con gli spazi delle pagine web.
  

Nel mio caso ho scelto l'opzione "Web Page".

Nella scheda "Output" scegliete se volete creare un file pdf o ps, inserite il suo nome insieme per percorso della cartella in cui verrà salvato ed eventualmente selezionate un livello di compressione per le immagini jpeg.

Nella scheda "Page" potete regolare le dimensioni del foglio che verrà utilizzato, il suo senso, la dimensione dei margini ecc.

Nella scheda "Colors" potete scegliere il colore del testo, dei collegamenti, se scegliere un'immagine o un colore di sfondo. Se desiderate che i collegamenti siano sottolineati selezionate, in corrispondeza della voce "Link Style", l'opzione "Underline", altrimenti "Plain".

Nella scheda "Fonts" potete modificare tutto quello che riguarda il tipo e la dimensione del carattere, compresa l'interlinea.  Per la codifica dei caratteri "Character Set" , iso-8859-1 corrisponde alla codifica usata nei paesi dell'Europa occidentale, se utilizzate la codifica iso-8859-15 vi verranno riconosciuti anche alcuni simboli speciali come "€". Devo ammettere però che il riconoscimento degli accenti non funziona bene per tutte le pagine anche se si cambia la codifica.

Nella scheda "PDF" potete modificare le impostazioni del pdf che verrà creato tra le quali anche la versione del pdf, io vi consiglio di mettere la 1.4 che dovrebbe essere riconosciuta senza problemi di compatibilità.

Nella scheda "Security" potete impostare una password per il pdf.

Adesso non vi resta che fare clic sul pulsante "Generate" per creare il vostro pdf.

Finita l'elaborazione non vi resta che aprire il pdf appena generato e guardare il risultato.