[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Choosing graphics backend for documentation
From: |
Dr. Sebastian Schöps |
Subject: |
Re: Choosing graphics backend for documentation |
Date: |
Mon, 17 Aug 2015 15:45:18 +0200 |
Ok, sorry for my ignorance. Then it should be quite save to compile octave on
mac without osmesa. Great.
Sebastian
> Am 17.08.2015 um 15:37 schrieb Mike Miller <address@hidden>:
>
> 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, 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, 2015/08/17
- Re: Choosing graphics backend for documentation,
Dr. Sebastian Schöps <=
- 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