Adaptation of the manual to git repositories