guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#31310: [PATCH] Fix make dist


From: Julien Lepiller
Subject: 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





reply via email to

[Prev in Thread] Current Thread [Next in Thread]