diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-04-12 13:05:23 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-04-12 13:05:23 +0300 |
| commit | caba861750571c86af1e80731f1a43dc96b47e95 (patch) | |
| tree | d493ae3b9f98151caf53fa433c777a8766109117 /doc/it/compila_originale.sh | |
| parent | c8d82e842e7ad94cae039e6c978b4bea1a31c4d5 (diff) | |
| download | egawk-caba861750571c86af1e80731f1a43dc96b47e95.tar.gz egawk-caba861750571c86af1e80731f1a43dc96b47e95.tar.bz2 egawk-caba861750571c86af1e80731f1a43dc96b47e95.zip | |
Add Italian translation of the gawk manual.
Diffstat (limited to 'doc/it/compila_originale.sh')
| -rwxr-xr-x | doc/it/compila_originale.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/it/compila_originale.sh b/doc/it/compila_originale.sh new file mode 100755 index 00000000..06d53b93 --- /dev/null +++ b/doc/it/compila_originale.sh @@ -0,0 +1,16 @@ + +# +# builds the PDF version of the Gawk manual, +# in the current directory +# +echo "Building the pdf version of the gawk manual" +echo "in directory:" +pwd +echo "Beware, it can take a long time!" +if [ -f "gawktexi.in" ] +then + gawk -f sidebar.awk gawktexi.in >gawk.texi +fi +# just in case, drop previous Index +rm -f gawk.cps gawk.cp gawk.aux gawk.fn gawk.ky gawk.log gawk.pg +texi2pdf gawk.texi |