I can confirm that there is indeed a problem with docbuilding. When
looking at the patchbot, I saw a similar problem.
On 2015-09-26 09:58, Clemens Heuberger wrote:
ubuntu 14.04, 64 bit, 4 GB RAM: make -j4 ran out of memory while building
documentation, last line in logfile:
[tutorial ] reading sources... [ 43%] sagetex
I then killed 4 processes using 2.7 GB each.
On the same machine, there haven't been any problems with make -j4 for any beta
or rc releases since this February.
--
You received this message because you are subscribed to the Google Groups
"sage-release" 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 http://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.
