Aiuto:Gestione file djvu: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 140:
=== Manipolazione del testo con djvused ===
djvused è un potente tool per l'analisi e per la modifica dei file djvu; qui si accennerà soltanto alle opzioni che consentono di estrarre e eventualmente di modificare lo strato testo. Per lo studio di tutte le opzioni vedi http://djvu.sourceforge.net/doc/man/djvused.html (''veramente'' difficile! dopo anni di prove ne uso sì e no un quarto delle possibilità.... ).
....
|