diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-04-12 13:06:01 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-04-12 13:06:01 +0300 |
| commit | 3d3073c25712bb085b07357c7d35b70ce9063ded (patch) | |
| tree | 7747ab0a87d555d95c458241b17393ec26bafb7e /doc/it/compila_originale.sh | |
| parent | af0fb8e52be8abd796f4504f825879ca94f71ae8 (diff) | |
| parent | caba861750571c86af1e80731f1a43dc96b47e95 (diff) | |
| download | egawk-3d3073c25712bb085b07357c7d35b70ce9063ded.tar.gz egawk-3d3073c25712bb085b07357c7d35b70ce9063ded.tar.bz2 egawk-3d3073c25712bb085b07357c7d35b70ce9063ded.zip | |
Merge branch 'master' into feature/api-mpfr
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 |