diff options
author | Josip Rodin <joy> | 2001-12-21 19:35:40 +0000 |
---|---|---|
committer | Josip Rodin <joy> | 2001-12-21 19:35:40 +0000 |
commit | 7376f61d1358bef5e240a26d77628620a62ad077 (patch) | |
tree | 745eae72f01698427ea1fa478f30e813f13c8cf2 /check_trans.pl | |
parent | 046ef5e1727ad9dbdb9be22e27460f768fca3120 (diff) |
we cannot assume old revision is 1.1 if it is not defined (i.e. not found in the headers), because that's a valid current revision of an English document; 1.0 should work OTOH
CVS version numbers
check_trans.pl: 1.44 -> 1.45
Diffstat (limited to 'check_trans.pl')
-rwxr-xr-x | check_trans.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/check_trans.pl b/check_trans.pl index af0a9e3c3ce..e58e52d3f89 100755 --- a/check_trans.pl +++ b/check_trans.pl @@ -484,7 +484,7 @@ sub check_file { (my $numrev) = $revision =~ m/^1\.(\d+)$/; $numrev ||= "0"; (my $numoldr) = $oldr =~ m/^1\.(\d+)$/; $numoldr ||= "0"; if (!$oldr) { - $oldr = '1.1'; + $oldr = '1.0'; $str = "Unknown status of $name (revision should be $revision)"; } elsif ($oldr eq $revision) { $status = 4; |