Currently, the html docs are not built in parallel when running `MAKE='make -j10' make ptestlong`, even when SAGE_NUM_THREADS is set. Is there a way to enable it again? This also limits the throughput of the patchbots.
-- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/1ee05f28-0230-4086-9b5f-9b96e487fd2an%40googlegroups.com.
