Documentation: remove gitman.info with "make clean"