[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Choosing graphics backend for documentation
From: |
Sebastian Schöps |
Subject: |
Re: Choosing graphics backend for documentation |
Date: |
Mon, 17 Aug 2015 06:30:53 -0700 (PDT) |
Michael Godfrey wrote
> This gnuplot only system seems to be needed only in the case where users
> are building Octave
> from source. Most users will install a packaged Octave. If they want a
> Manual they
> have to obtain it from the Octave site. The reason for including the
> Manual source
> files is for developers use. So, it appears that the only use for this
> option is for
> developers use on systems which lack any working OpenGL. Most
> developers will
> need to have a system which is capable of generating a fully functional
> Octave for
> testing. This requires OpenGL.
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.
Sebastian
--
View this message in context:
http://octave.1599824.n4.nabble.com/Choosing-graphics-backend-for-documentation-tp4671847p4672148.html
Sent from the Octave - Maintainers mailing list archive at Nabble.com.
- Re: Choosing graphics backend for documentation, Ben Abbott, 2015/08/16
- 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 <=
- Re: Choosing graphics backend for documentation, Mike Miller, 2015/08/17
- 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