Code

Fix the building of gitman.info document