The docs target has broken dependencies which makes incremental builds unreliable. Some parts will always get rebuilt and I'm sure some changes will not trigger a rebuild. As a first step towards getting the docs target to be run more often, this should be fixed.

The default output level is also way too chatty and needs to be toned down.