Makefile: build docs only for enabled tools; fix docs dependencies