On Tue, 23 Oct 2018, Eric Gourgoulhon wrote:
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
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
