devtools/devctl.py
changeset 60 dc90556488d8
parent 58 c7c22b210372
child 61 081078d5b422
--- 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:'