Always copy man/* and doc/tools/*.