A few details in the makefile and in the manual. (In particular,
it updates the dependency lists in the makefile.)