Re: /gnu/po/gnu-history.pot update is not triggered

[Ineiev]

On 06/09/2011 03:46 AM, Yavor Doganov wrote:
> At Sat, 30 Apr 2011 06:05:16 +0000,
> Ineiev wrote:
> > -rw-r--r-- 1 yavor 9799 2011-04-27 20:00 
> > /home/y/yavor/projects/www/gnu/gnu-history.html
> > -rw-r--r-- 1 yavor 8050 2011-04-27 20:27 
> > /home/y/yavor/projects/www/gnu/po/gnu-history.pot
> >
> > One of the the worst things here is that GNUN denies
> > the GRACE time: the outdated passage is substituted
> > in its original form in all translations.
>
> I still don't understand why it happens, smells like a bug.

Can it be related to CVS updates? I believe I've seen a few more
POTs with timestamps newer than the corresponding HTML.

> the command output is the following now:
>
> -rw-r--r-- 1 yavor 9799 Apr 28 03:00 projects/www/gnu/gnu-history.html
> -rw-r--r-- 1 yavor 8128 May 19 19:00 projects/www/gnu/po/gnu-history.pot

After some time I've committed a locally updated POT.