[sage-devel] Make and html docs

[Jori Mäntysalo]

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 also got error with building docs when running "make all". Now "make 
doc-clean" done and "make all" running again.)

--
Jori Mäntysalo