# HG changeset patch # User Adrien Di Mascio # Date 1226573157 -3600 # Node ID dc90556488d8b94af5e8aecf363180d6575f4bb7 # Parent 9660bd221553fa11bb04b24c5bbb366d738a13f0 oops, bad changeset review, revert debug changes diff -r 9660bd221553 -r dc90556488d8 devtools/devctl.py --- a/devtools/devctl.py Thu Nov 13 11:35:29 2008 +0100 +++ b/devtools/devctl.py Thu Nov 13 11:45:57 2008 +0100 @@ -235,7 +235,7 @@ ('tal', [tali18nfile], None), ('js', globfind(join(BASEDIR, 'web'), 'cub*.js'), 'java'), ]: - cmd = 'xgettext --add-location --omit-header -k_ -o %s %s' + cmd = 'xgettext --no-location --omit-header -k_ -o %s %s' if lang is not None: cmd += ' -L %s' % lang potfiles.append(join(tempdir, '%s.pot' % id)) @@ -253,7 +253,7 @@ shutil.move('%snew' % target, target) toedit.append(abspath(target)) # cleanup - # rm(tempdir) + rm(tempdir) # instructions pour la suite print '*' * 72 print 'you can now edit the following files:'