Re: Should these files ignored?

[Taylan Ulrich Bayırlı/Kammer]

address@hidden (Ludovic Courtès) writes:

> They’re only regenerated upon ‘make dist’ or ‘make -C po/guix update-po’,
> I think.
>
> I just run ‘git reset --hard’ when that happens, which is rare.

Actually I get the .po file changes when I build after e.g. "git reset
--hard && git clean -fdx", meaning essentially bring the directory to
the state of a freshly cloned repository.  I haven't tried if it also
happens after "make clean", but it will certainly happen to those who
clone the repository and build for the first time.

Taylan