diff --git a/tools/genlang b/tools/genlang index 965c187f81..f2a0706930 100755 --- a/tools/genlang +++ b/tools/genlang @@ -232,7 +232,7 @@ if($english) { print STDERR "DEST: \"$dest\" for $name / $id\n"; - if($update || ($dest && ($dest ne "none"))) { + if($update || ($dest && ($dest !~ /^none\z/i))) { # we unconditionally always use all IDs when the "update" # feature is used $id = $maybeid;