I am trying to build documentation for my own sage project on my sage server. I get the error
$ sage -sh -c "make html" sphinx-build -b html -d build/doctrees source build/html Running Sphinx v1.6.3 making output directory... Exception occurred: File "conf.py", line 30, in <module> RuntimeError: to build the documentation you need to be inside a Sage shell (run first the command 'sage -sh' in a shell The full traceback has been saved in /tmp/sphinx-err-ajlNRU.log, if you want to report the issue to the developers. Please also report this if it was a user error, so that a better error message can be provided next time. A bug report can be filed in the tracker at <https://github.com/sphinx-doc/sphinx/issues>. Thanks! Setting permissions of DOT_SAGE directory so only you can read and write it. make: *** [html] Error 1 This is a very surprising error! It works fine on my local machine, but not on my server. My Travis server is running the following script to build the documentation (ignore the dashes): - uname -a - DIR_REPO=$(pwd) - DIR_INSTALL="${DIR_REPO}"/temp-install-sage - mkdir "${DIR_INSTALL}" - cd "${DIR_INSTALL}" - FILE_NAME="sage-8.2-Ubuntu_16.04-x86_64.tar.bz2" - wget -q http://mirrors.mit.edu/sage/linux/64bit/"${FILE_NAME}"; - tar -xf "${FILE_NAME}" - sudo ln -s "${DIR_INSTALL}"/SageMath/sage /usr/local/bin/sage - sage --version - sage --version - sage -pip install sphinxcontrib-websupport - cd "${DIR_REPO}"/docs - sage -sh -c "make html" Happy to provide more info if you need it! -- You received this message because you are subscribed to the Google Groups "sage-support" 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 https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
