Subject: Re: [bug#31310] [PATCH] Fix make dist
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Sun, 29 Apr 2018 23:20:28 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Le Sun, 29 Apr 2018 16:24:52 +0200,
Julien Lepiller <[email-masked]> 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