GNU bug report logs - #31310
[PATCH] Fix make dist

Previous Next

Full log

Message #13 received at 31310 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: 31310 <at> debbugs.gnu.org
Cc: julien <at> lepiller.eu
Subject: Re: bug#31310: [PATCH] Fix make dist
Date: Mon, 30 Apr 2018 23:02:07 +0200

Julien Lepiller <julien <at> lepiller.eu> skribis:

> Le Sun, 29 Apr 2018 16:24:52 +0200,
> Julien Lepiller <julien <at> lepiller.eu> 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

Perfect, thanks a lot!

Ludo'.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.