diff options
Diffstat (limited to 'Doc/tools/mkhowto.sh')
| -rwxr-xr-x | Doc/tools/mkhowto.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 4b0f632..6108330 100755 --- a/Doc/tools/mkhowto.sh +++ b/Doc/tools/mkhowto.sh @@ -43,6 +43,7 @@ HTML options: Other options: --a4 Format for A4 paper. + --letter Format for US letter paper (the default). --help, -H Show this text. --logging, -l Log stdout and stderr to a file (*.how). --debugging, -D Echo commands as they are executed. @@ -166,6 +167,9 @@ while [ "$1" ] ; do TEXINPUTS=$TOPDIR/paper-a4:$TEXINPUTS shift 1 ;; + --letter|--lette|--lett|--let|--le) + shift 1 + ;; --link|--lin|--li) LINK="$2" shift 2 |