From af7a08a4ad29c56a8410e812e273f583f8736587 Mon Sep 17 00:00:00 2001
From: Guilhem Moulin <guilhem.moulin@chalmers.se>
Date: Sun, 15 May 2011 13:36:35 +0200
Subject: useless valid option check

---
 pdftool.pl | 5 -----
 1 file changed, 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);
-- 
cgit v1.2.3