I begin to wish "make doc" we're a separate step.... On Tuesday, July 5, 2016, Rob H. <robert.har...@gmail.com> 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 > <javascript:_e(%7B%7D,'cvml','sage-devel%2bunsubscr...@googlegroups.com');> > . > To post to this group, send email to sage-devel@googlegroups.com > <javascript:_e(%7B%7D,'cvml','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.
