A command to build sage-style documentation works on my local computer, but not on my server.
$ 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 Any ideas? -- You received this message because you are subscribed to the Google Groups "sphinx-users" 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/sphinx-users. For more options, visit https://groups.google.com/d/optout.
