diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/gendocs.sh | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/tools/gendocs.sh b/tools/gendocs.sh index 9126a406..3d082024 100755 --- a/tools/gendocs.sh +++ b/tools/gendocs.sh @@ -1,5 +1,19 @@ #!/bin/bash + +# By default US Letter is used as the PDF papersize. +# For those preferring other dimensions add a4 or small +# as a commandline argument to this script to create a +# DIN A4 or smallbook version of the PDF. +case $1 in + a4*|afour*) + papersize='--texinfo=@afourpaper';; + small*) + papersize='--texinfo=@smallbook';; + *) + papersize='';; # US Letter is texinfo default +esac + echo "===================================== Making Info..." makeinfo ledger3.texi echo "===================================== Making PDF..." -texi2pdf --quiet --batch ledger3.texi +texi2pdf --quiet --batch ${papersize} ledger3.texi |