Hi John,
"make" sometimes involves a lot of compilation if you switch back and
forth in git branches that are based on different versions of Sage. But
after all, if you work with different Sage versions then rebuilding the
spkgs that have changed between versions is the right thing to do.
If you just change something in the library, "make" is clever enough
to only rebuild what has changed. Nonetheless (at least that's my
experience) it can still take a long time till "make" finds out that the
docs haven't changed much.
Anyway, "make" does *not* want to rebuild all of Sage unless there is a
reason. So, I don't see a reason for changing it.
NB: Since for me the docs are the most annoying aspect of "make", I usually
do "make start".
Best regards,
Simon