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

Previous Next

Package: guix-patches;

Reported by: Julien Lepiller <julien <at> lepiller.eu>

Date: Sun, 29 Apr 2018 14:26:01 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log

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

From: Julien Lepiller <julien <at> lepiller.eu>
To: 31310-done <at> debbugs.gnu.org
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 <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
This bug report was last modified 7 years and 22 days ago.

Previous Next

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