2018-06-04 13:45 GMT+02:00 Ludovic Courtès <ludo@gnu.org>:

> Hi Gábor,
>
> Gábor Boskovits <boskovits@gmail.com> skribis:
>
> > Make clean removes:
> > doc/contributing.fr.texi
> > doc/guix.fr.texi
> >
> > We had a discussion on #guix with roptat, and a few others.
> > I have found out, that after removing $(TRANSLATED_INFO)
> > from $(BUILT_SOURCES) in doc/local.mk these files are not
> > deleted any more. I have doubts that this is a correct fix, as
> > this might break dependency resolution.
> >
> > I also noticed, that after running make these two files end up with
> > different content.
>
> But they do get re-generated, right?
>
> I think the issue is fixed with this patch:
>
>
>
> I’ll push it if it works for you.
>
>
Thanks, Ludo, this seems to be the correct fix. Thanks for the additional
insight.
Please push it.


> Thanks,
> Ludo’.
>
>