bug#45039: closed (Duplicate folders in docs)

[GNU bug Tracking System]

Your message dated Thu, 15 Jul 2021 22:09:13 -0400
with message-id <87im1bm2ly.fsf_-_@gmail.com>
and subject line Re: bug#45039: Duplicate folders in docs
has caused the debbugs.gnu.org bug report #45039,
regarding Duplicate folders in docs
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
45039: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=45039
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Duplicate folders in docs
>
>
>
>
> Date: 
>
> Fri, 04 Dec 2020 10:44:36 +0100
>
>
>
>
> User-agent: 
>
> Posteo Webmail
>
>
>
>
> On https://guix.gnu.org/manual/en/html_node/Getting-Started.html there
> is a duplication of use of etc/profile
>
>
> --
> Holger Peters <holger.peters@posteo.de>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#45039: Duplicate folders in docs
>
>
>
>
> Date: 
>
> Thu, 15 Jul 2021 22:09:13 -0400
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> Hello,
>
> Ludovic Courtès <ludo@gnu.org> writes:
>
> > Hi,
> >
> > Leo Famulari <leo@famulari.name> 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
>
>
> --- End Message ---