Add error message if the git repo does not exists for the doc

Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>