summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGuilhem Moulin <guilhem.moulin@chalmers.se>2011-05-15 13:36:35 +0200
committerGuilhem Moulin <guilhem.moulin@chalmers.se>2011-05-15 13:36:35 +0200
commitaf7a08a4ad29c56a8410e812e273f583f8736587 (patch)
treea2172de99c8dd17c1f73149abd3611d446b44eca
parent81bea0d2669c26e3d449e6bd682a40c3b282fc89 (diff)
useless valid option check
-rwxr-xr-xpdftool.pl5
1 files changed, 0 insertions, 5 deletions
diff --git a/pdftool.pl b/pdftool.pl
index 3cd37c8..01b45a8 100755
--- a/pdftool.pl
+++ b/pdftool.pl
@@ -294,11 +294,6 @@ die "Margins are too big" if $outwidth <= $margin*2 or $outheight <= $margin*2;
#
die "Bad page range: `$select'" if
defined $select && not $select =~ /^(_?\d*-?_?\d*,)*_?\d*-?_?\d*$/;
-for (split /,/, $select) {
- $_ =~ /^_?(\d*)-?_?(\d*)$/;
- die "Bad page range: `$select'" if
- ($1 ne "" && $1 <= 0) or ($2 ne "" && $2 <=0);
-}
die "Bad nup: `$nup'" if
defined $nup && not ($nup =~ /^\d+$/ && $nup > 0);