]> granicus.if.org Git - python/commitdiff
Add --letter option, similar to --a4. This is a no-op, but can be used from
authorFred Drake <fdrake@acm.org>
Mon, 11 May 1998 20:40:24 +0000 (20:40 +0000)
committerFred Drake <fdrake@acm.org>
Mon, 11 May 1998 20:40:24 +0000 (20:40 +0000)
a Makefile:  mkhowto.sh --$(PAPER).

Doc/tools/mkhowto.sh

index 4b0f63231eaaf7c34bbdf61547571deeecc8311c..61083303851f55ced6f03a4c49cb2e78c098f394 100755 (executable)
@@ -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