[debbugs-tracker] bug#31700: closed (Make clean deletes french manuals)

[GNU bug Tracking System]

Your message dated Fri, 08 Jun 2018 15:24:31 +0200
with message-id <address@hidden>
and subject line Re: bug#31700: Make clean deletes french manuals
has caused the debbugs.gnu.org bug report #31700,
regarding Make clean deletes french manuals
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
31700: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31700
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Make clean deletes french manuals Date: Sun, 3 Jun 2018 23:13:22 +0200

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.

If you think this fix is ok, I will send a patch.

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#31700: Make clean deletes french manuals
>
>
>
>
> Date: 
>
> Fri, 08 Jun 2018 15:24:31 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Gábor Boskovits <address@hidden> skribis:
>
> > Thanks, Ludo, this seems to be the correct fix. Thanks for the additional
> > insight.
> > Please push it.
>
> Pushed as 751164bca1030dfd14f9fa7508c03eb4b41173e4, thanks!
>
> Ludo’.
>
>
> --- End Message ---