Hi Jori,
Le mardi 23 octobre 2018 12:50:59 UTC+2, Jori Mäntysalo a écrit :
>
> I just downloaded 8.4 and ran make. Makefile says "The default target
> ("all") builds Sage and the whole (HTML) documentation.", but actually
> plain "make" just compiled the binary, not docs. Can someone confirm this?
>
>
I do *not* confirm this: for me the following
git clone https://github.com/sagemath/sage.git
cd sage
MAKE="make -j8" make
did build Sage 8.4 and the whole documentation.
This is on Ubuntu 18.04.
Best wishes,
Eric.
--
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.
