I've attached a patch with the Makefile addition to the Learning Manual and an addition to the Contributor's Guide showing how to run stable and devel versions at once. It also has some updates for CG changing "make web" to "make doc" according to the new make targets. Would someone with push access please check and apply?
Many thanks to everyone who helped with the Makefiles (75 messages in that thread!). I learned a lot. :)