Documentation: add gitman.info target