[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Should these files ignored?
From: |
Pjotr Prins |
Subject: |
Re: Should these files ignored? |
Date: |
Wed, 27 May 2015 18:40:43 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Make it a separate make target.
Pj.
On Wed, May 27, 2015 at 05:04:08PM +0200, Ludovic Courtès wrote:
> address@hidden (Taylan Ulrich "Bay??rl??/Kammer") skribis:
>
> > 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.
>
> Yes, it happens on a first clone.
>
> Yet I???m uncomfortable with ignoring changes to these files because we
> occasionally really want to update them and to see the changes.
>
> So I???m not sure what can be done. Ideas?
>
> Ludo???.
>
--