On 2015-05-24 20:41, john_perry_usm wrote:
Does it seem reasonable to add a prompt at the beginning
of the Makefile that points this out, suggests './sage -b' if they just
want to fix some changes
I am very much against this. The normal way to rebuild is to use "make",
while "./sage -b" should only be used if you know what you're doing.
I have seen several bug reports which were just people forgetting to run
"make". So my impression is that we need to advertise "./sage -b" less,
not more.
I agree with Simon that the docs are annoying. However, I usually run
"make" in a different shell window. I can already run and test Sage
while the documentation is still building.
Jeroen.
--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
