[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Choosing graphics backend for documentation
From: |
Mike Miller |
Subject: |
Re: Choosing graphics backend for documentation |
Date: |
Mon, 17 Aug 2015 09:37:43 -0400 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Mon, Aug 17, 2015 at 06:30:53 -0700, Sebastian Schöps wrote:
> Then let me propose the following: why not shipping the source distribution
> (as the compiled ones) with a compiled manual? This would relax the osmesa
> dependency. Hard core developers may anyway build from hg.
This has already been the case for a long time :) Indeed it is expected
that users downloading an official source distribution only compile
Octave and the manual is already ready to go.
Users who want a bleeding edge daily build of the source distribution
can get it from our hydra autobuilder:
https://hydra.nixos.org/job/gnu/octave-default/tarball/latest
--
mike
- Re: Choosing graphics backend for documentation, (continued)
- Re: Choosing graphics backend for documentation, Mike Miller, 2015/08/16
- Re: Choosing graphics backend for documentation, Michael Godfrey, 2015/08/16
- Re: Choosing graphics backend for documentation, Daniel J Sebald, 2015/08/16
- Re: Choosing graphics backend for documentation, Michael Godfrey, 2015/08/16
- Re: Choosing graphics backend for documentation, Ben Abbott, 2015/08/16
- Re: Choosing graphics backend for documentation, Michael Godfrey, 2015/08/17
- Re: Choosing graphics backend for documentation, Ben Abbott, 2015/08/17
- Re: Choosing graphics backend for documentation, Michael Godfrey, 2015/08/17
- Re: Choosing graphics backend for documentation, Ben Abbott, 2015/08/17
- Re: Choosing graphics backend for documentation, Sebastian Schöps, 2015/08/17
- Re: Choosing graphics backend for documentation,
Mike Miller <=
- Re: Choosing graphics backend for documentation, Dr. Sebastian Schöps, 2015/08/17
- Re: Choosing graphics backend for documentation, Daniel J Sebald, 2015/08/17
- Re: Choosing graphics backend for documentation, Mike Miller, 2015/08/17
- Re: Choosing graphics backend for documentation, Ben Abbott, 2015/08/17
- Re: Choosing graphics backend for documentation, Sebastian Schöps, 2015/08/18
- Re: Choosing graphics backend for documentation, Daniel J Sebald, 2015/08/17
- Re: Choosing graphics backend for documentation, Ben Abbott, 2015/08/17
Re: Choosing graphics backend for documentation, Mike Miller, 2015/08/17