diff options
Diffstat (limited to 'doc/it/README.txt')
-rw-r--r-- | doc/it/README.txt | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/doc/it/README.txt b/doc/it/README.txt new file mode 100644 index 00000000..53930cfe --- /dev/null +++ b/doc/it/README.txt @@ -0,0 +1,33 @@ +I file contenuti in questa directory permettono di generare +(in ambiente Linux/Unix/WSL) la versione italiana +del libro di Arnold GAWK: Programmare efficacemente in AWK, +SE (e solo se) il software necessario è disponibile nel +computer in cui si scarica la distribuzione di gawk. + +Se la sola cosa che interessa è avere un copia del libro +in formato PDF, questa può semplicemente essere scaricata +dal sito: + +https://sites.google.com/view/gawkdoc-it/home-page + +Per generare il libro localmente, sono disponibili due shell +script: + +compila_originale.sh + +compila_smallprint.sh + +La sola differenza è la dimensione della pagina stampata, +che è più piccola usando il secondo script. + +Un terzo script: + +genera_formati.sh + +genera il manuale in vari formati, fra cui i formati +testo, html e info. + +Per eventuali problemi con la traduzione italiana del +libro Gawk, fare riferimento agli indirizzi email +dei traduttori, inseriti all'inizio della versione PDF del +libro stesso. |