[debbugs-tracker] bug#31310: closed ([PATCH] Fix make dist)

[GNU bug Tracking System]

Your message dated Sun, 29 Apr 2018 23:20:28 +0200
with message-id <address@hidden>
and subject line Re: [bug#31310] [PATCH] Fix make dist
has caused the debbugs.gnu.org bug report #31310,
regarding [PATCH] Fix make dist
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] Fix make dist Date: Sun, 29 Apr 2018 16:24:52 +0200

Hi,

these patches add the documentation pot files to the distribution and
exclude them from being checked for store references. That's because
they contain example store paths. The second one renames them so they
have a more meaningful name for the TP.

0001-nls-Distribute-doc-pot-files.patch
Description: Text Data

0002-nls-Rename-documentation-pot-files-for-the-translati.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#31310] [PATCH] Fix make dist
>
>
>
>
> Date: 
>
> Sun, 29 Apr 2018 23:20:28 +0200
>
>
>
>
> Le Sun, 29 Apr 2018 16:24:52 +0200,
> Julien Lepiller <address@hidden> a écrit :
>
> > Hi,
> > 
> > these patches add the documentation pot files to the distribution and
> > exclude them from being checked for store references. That's because
> > they contain example store paths. The second one renames them so they
> > have a more meaningful name for the TP.
>
> I pushed a different version of that patch that creates only one pot
> file for guix-manual, and adds it to the distribution as
> 39764ef893b7b65a8ce55e13746fed8fd0bad6e0
>
>
> --- End Message ---