diff options
| -rwxr-xr-x | tools/genlang | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/genlang b/tools/genlang index e20ed63..965c187 100755 --- a/tools/genlang +++ b/tools/genlang @@ -232,7 +232,9 @@ if($english) { print STDERR "DEST: \"$dest\" for $name / $id\n"; - if($dest && ($dest ne "none")) { + if($update || ($dest && ($dest ne "none"))) { + # we unconditionally always use all IDs when the "update" + # feature is used $id = $maybeid; print STDERR "DEST: use this id $id\n"; } |