> > 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.