[debbugs-tracker] bug#22687: closed (Online manual not updated automatically)

[GNU bug Tracking System]

Your message dated Wed, 31 Jul 2019 13:46:01 -0400
with message-id <address@hidden>
and subject line Re: bug#22687: Online manual not updated automatically
has caused the debbugs.gnu.org bug report #22687,
regarding Online manual not updated automatically
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
22687: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22687
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Online manual not updated automatically
>
>
>
>
> Date: 
>
> Mon, 15 Feb 2016 16:50:24 -0500
>
>
>
>
> User-agent: 
>
> Mutt/1.5.24 (2015-08-30)
>
>
>
>
> ----- Forwarded message from carl hansen <address@hidden> -----
>  http://www.gnu.org/software/guix/manual/
> works.
> BUT
> it says:
> "last updated November 04, 2015"
> So cronjob on gnu.org that updates to the lastest version is not working.
> Might
> be the answer to the problem about , too.
>
> ----- End forwarded message -----
>
> I see the value of the online manual matching the version of the Guix
> binaries we distribute, but on the other hand, we get a lot of questions
> that are answered in the latest version of the manual.
>
> Thoughts?
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#22687: Online manual not updated automatically
>
>
>
>
> Date: 
>
> Wed, 31 Jul 2019 13:46:01 -0400
>
>
>
>
> User-agent: 
>
> Mutt/1.12.1 (2019-06-15)
>
>
>
>
> On Wed, Jul 31, 2019 at 05:31:59PM +0200, Julien Lepiller wrote:
> > We now have guix.gnu.org/manual and /manual/devel, which I think implements 
> > this issue. Should we close it now?
>
> Yes :)
>
> Thanks for the reminder
>
>
> --- End Message ---