The documentation for make, pacjaged for Debian, and not DFSG free