One could begin by promoting 'make build'. Like, I was just following the instructions at the top of http://doc.sagemath.org/html/en/developer/manual_git.html. One could start by adding a comment there to the effect that 'make build' could be used instead of 'make'.
Rob On Tuesday, July 5, 2016 at 3:57:25 PM UTC-6, William wrote: > > I begin to wish "make doc" we're a separate step.... > > On Tuesday, July 5, 2016, Rob H. <robert...@gmail.com <javascript:>> > wrote: > >> Thanks, William! It seemed like it was the documentation, but the fact >> that it crashed on 'make' scared me. Running sage seems to work, so I guess >> all is good. >> >> Best, >> >> Rob >> >> On Tuesday, July 5, 2016 at 3:41:03 PM UTC-6, William wrote: >>> >>> On Tue, Jul 5, 2016 at 2:25 PM, Rob H. <robert...@gmail.com> wrote: >>> > Hi, >>> > >>> > I was trying to set up a copy of Sage 7.2 on a SageMathCloud project >>> and the >>> > building process failed. This project was already housing an earlier >>> version >>> > of Sage (which I have since erased); it has the space for a copy of >>> Sage. I >>> > just cloned the sage.git repo, checked out the master branch, and >>> typed >>> > make. A few hours later, this happened: >>> > >>> >>> It's only the documentation, not sage itself, that fails to build >>> (namely trying to build 3d images for the html reference manual). >>> I've reported this here last week and other people have the same >>> trouble: >>> >>> >>> https://groups.google.com/forum/#!searchin/sage-release/jmol$20%7Csort:date/sage-release/jQmE2nsnbDI/u32jH0vOAQAJ >>> >>> >>> Nobody uses the HTML documentation inside their build on SMC anyways... >>> >>> William >>> >>> -- >>> William (http://wstein.org) >>> >> -- >> 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 https://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. >> > > > -- > Sent from my massive iPhone 6 plus. > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
