>
> The thing is that between two versions some of the spkg might have
>
changed. So each time you change version you should do use "make". If
> no spkg has changed, it will be equivalent to "sage -b".
>
Thanks, it worked now! But I just got the below error building the doc. Is
that related, or another issue?
Cheers,
Christian
[graphs ]
/home/stumpc5/progs/sage/local/lib/python2.7/site-packages/sage/graphs/dot2tex_utils.py:docstring
of sage.graphs.dot2tex_utils.key_with_hash:1: ERROR: Unknown interpreted
text role "function".
[graphs ]
/home/stumpc5/progs/sage/local/lib/python2.7/site-packages/sage/graphs/dot2tex_utils.py:docstring
of sage.graphs.dot2tex_utils.key_with_hash:1: ERROR: Unknown interpreted
text role "function".
Traceback (most recent call last):
File "/home/stumpc5/progs/sage/src/doc/common/builder.py", line 83, in f
execfile(sys.argv[0])
File "/home/stumpc5/progs/sage/src/doc/common/custom-sphinx-build.py",
line 185, in <module>
sphinx.cmdline.main(sys.argv)
File
"/home/stumpc5/progs/sage/local/lib/python2.7/site-packages/Sphinx-1.1.2-py2.7.egg/sphinx/cmdline.py",
line 206, in main
print >>error
File "/home/stumpc5/progs/sage/src/doc/common/custom-sphinx-build.py",
line 165, in write
self._write(str)
File "/home/stumpc5/progs/sage/src/doc/common/custom-sphinx-build.py",
line 139, in _write
self._log_line(line)
File "/home/stumpc5/progs/sage/src/doc/common/custom-sphinx-build.py",
line 108, in _log_line
raise OSError(line)
OSError: [graphs ]
/home/stumpc5/progs/sage/local/lib/python2.7/site-packages/sage/graphs/dot2tex_utils.py:docstring
of sage.graphs.dot2tex_utils.key_with_hash:1: ERROR: Unknown interpreted
text role "function".
Error building the documentation.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
