From 10359fd7014e5d33fdc6ee7cba6d98b10054cecc Mon Sep 17 00:00:00 2001 From: Alexis Hildebrandt Date: Sun, 27 Apr 2014 10:00:04 +0200 Subject: gendocs: add option to choose pdf papersize The default will be US Letter [ci skip] --- tools/gendocs.sh | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) (limited to 'tools') 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 -- cgit v1.2.3