On 2010-11-22 21:41, Mike Hansen wrote:
> On Mon, Nov 22, 2010 at 12:30 PM, Jeroen Demeyer
> wrote:
>> How to do this? (this relates to ticket #10200)
>
> You could add SAGE_ROOT/devel/sage/doc/common/ to sys.path, import the
> module, and then remove it from sys.path.
>
> --Mike
>
Wow. It t
On Mon, Nov 22, 2010 at 12:30 PM, Jeroen Demeyer wrote:
> How to do this? (this relates to ticket #10200)
You could add SAGE_ROOT/devel/sage/doc/common/ to sys.path, import the
module, and then remove it from sys.path.
--Mike
--
To post to this group, send an email to sage-devel@googlegroups.c
What is the best way to read variables from
SAGE_ROOT/devel/sage/doc/common/builder.py from within the sage library?
The file SAGE_ROOT/devel/sage/doc/common/builder.py contains things like
SAGE_DOC = os.environ['SAGE_DOC']
LANGUAGES = ['en', 'fr']
SPHINXOPTS = ""
PAPER = ""
OMIT= [
