bug#22687: Online manual not updated automatically

2019-07-31 Thread Leo Famulari
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

bug#22687: Online manual not updated automatically

2019-07-31 Thread Julien Lepiller
We now have guix.gnu.org/manual and /manual/devel, which I think implements this issue. Should we close it now?

bug#22687: Online manual not updated automatically

2018-12-17 Thread Ricardo Wurmus
Julien Lepiller writes: > Following swedebugia's example, I suggest we close this bug, since we > now have https://guix.info/manual/{de,en,fr} > > should we advertise that version better from the main website at > gnu.org? I’d prefer not to advertise guix.info just yet. If we get the guix.gnu

bug#22687: Online manual not updated automatically

2018-12-17 Thread Julien Lepiller
Following swedebugia's example, I suggest we close this bug, since we now have https://guix.info/manual/{de,en,fr} should we advertise that version better from the main website at gnu.org?

bug#22687: Online manual not updated automatically

2016-02-21 Thread Ludovic Courtès
Ricardo Wurmus skribis: > Many other projects publish online manuals for both stable and > development versions. As our releases are a little far apart and we’re > encouraging to do “guix pull” (so users really run the development > version) I think it would indeed make sense to also publish an

bug#22687: Online manual not updated automatically

2016-02-21 Thread Ludovic Courtès
Mathieu Lirzin skribis: > Florian Paul Schmidt writes: > >> On 16.02.2016 17:42, Andreas Enge wrote: >>> On Tue, Feb 16, 2016 at 05:33:27PM +0100, Ricardo Wurmus wrote: I was not courageous enough to suggest that, but this does sound like a good idea. >>> >>> It is easy enough to have

bug#22687: Online manual not updated automatically

2016-02-18 Thread Alex Kost
Chris Marusich (2016-02-17 07:07 +0300) wrote: > Ricardo Wurmus writes: > >> Many other projects publish online manuals for both stable and >> development versions. As our releases are a little far apart and we’re >> encouraging to do “guix pull” (so users really run the development >> version)

bug#22687: Online manual not updated automatically

2016-02-16 Thread Chris Marusich
Ricardo Wurmus writes: > Many other projects publish online manuals for both stable and > development versions. As our releases are a little far apart and we’re > encouraging to do “guix pull” (so users really run the development > version) I think it would indeed make sense to also publish an >

bug#22687: Online manual not updated automatically

2016-02-16 Thread Mathieu Lirzin
Florian Paul Schmidt writes: > On 16.02.2016 17:42, Andreas Enge wrote: >> On Tue, Feb 16, 2016 at 05:33:27PM +0100, Ricardo Wurmus wrote: >>> I was not courageous enough to suggest that, but this does sound >>> like a good idea. >> >> It is easy enough to have that courage when one is not the p

bug#22687: Online manual not updated automatically

2016-02-16 Thread Florian Paul Schmidt
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 On 16.02.2016 17:42, Andreas Enge wrote: > On Tue, Feb 16, 2016 at 05:33:27PM +0100, Ricardo Wurmus wrote: >> I was not courageous enough to suggest that, but this does sound >> like a good idea. > > It is easy enough to have that courage when one i

bug#22687: Online manual not updated automatically

2016-02-16 Thread Andreas Enge
On Tue, Feb 16, 2016 at 05:33:27PM +0100, Ricardo Wurmus wrote: > I was not courageous enough to suggest that, but this does sound like a > good idea. It is easy enough to have that courage when one is not the person making the releases :-) Andreas

bug#22687: Online manual not updated automatically

2016-02-16 Thread Ricardo Wurmus
Andreas Enge writes: > On Tue, Feb 16, 2016 at 11:06:40AM +0100, Ricardo Wurmus wrote: >> Many other projects publish online manuals for both stable and >> development versions. As our releases are a little far apart and we’re >> encouraging to do “guix pull” (so users really run the developmen

bug#22687: Online manual not updated automatically

2016-02-16 Thread Andreas Enge
On Tue, Feb 16, 2016 at 11:06:40AM +0100, Ricardo Wurmus wrote: > Many other projects publish online manuals for both stable and > development versions. As our releases are a little far apart and we’re > encouraging to do “guix pull” (so users really run the development > version) I think it would

bug#22687: Online manual not updated automatically

2016-02-16 Thread Ricardo Wurmus
Leo Famulari writes: > 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. Many other projects publish online manuals for both stable and develop

bug#22687: Online manual not updated automatically

2016-02-15 Thread Thompson, David
On Mon, Feb 15, 2016 at 4:50 PM, Leo Famulari wrote: > - Forwarded message from carl hansen - > 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 t

bug#22687: Online manual not updated automatically

2016-02-15 Thread Leo Famulari
- Forwarded message from carl hansen - 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 -