Fix the building of gitman.info document