On Thu, Dec 13, 2001 at 12:38:21PM +0100, Martin Quinson wrote: > > Why not use the -D option of bash, or the --dump-po-strings one ? > Because I didn't know it at the moment? :) Javi