make doc and make all

[address@hidden]

Hey all,

I'm for the first time doing semi-complicated doc work w/ the website thing and 
discovering a bit about the build system in the process.  I learned today that 
`make doc' does not automatically `make all' if there are files that have been 
touched.  Would it be a good idea to roll a make all into make doc?  It'd add 
no more than 10 seconds onto a doc build if nothing in scm/ ps/ mf/ lily/ ps/ 
/ly has changed (perhaps I'm forgetting a few directories) and would 
automatically do any necessary compilation if these things have changed.  I 
can't think of a reason that, when launching make doc, someone would not want 
to be working from the current binary.  If this seems like a smart automation, 
let me know.

Cheers,
MS