Subject: bug#45039: closed (Re: bug#45039: Duplicate folders in docs)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 16 Jul 2021 02:10:02 +0000

Your bug report

#45039: Duplicate folders in docs

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
45039: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=45039
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#45039: Duplicate folders in docs
From: Maxim Cournoyer <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked], Holger Peters <[email-masked]>, Leo Famulari <[email-masked]>
Date: Thu, 15 Jul 2021 22:09:13 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Ludovic Courtès <[email-masked]> writes:

> Hi,
>
> Leo Famulari <[email-masked]> skribis:
>
>> On Fri, Dec 04, 2020 at 10:51:37AM +0100, Holger Peters wrote:
>>> * doc/guix.texi: Fixup path declaration.
>>
>>>  @example
>>> -GUIX_PROFILE="$HOME/.config/guix/current/etc/profile"
>>> +GUIX_PROFILE="$HOME/.config/guix/current"
>>>  . "$GUIX_PROFILE/etc/profile"
>>>  @end example
>>
>> Thanks! That example is definitely not right...
>
> Indeed; applying.

Thanks!

Closing.

Maxim

Subject: Duplicate folders in docs
From: Holger Peters <[email-masked]>
To: Guix patches <[email-masked]>
Date: Fri, 04 Dec 2020 10:44:36 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

On https://guix.gnu.org/manual/en/html_node/Getting-Started.html there
is a duplication of use of etc/profile

-- 
Holger Peters <[email-masked]>