suppression des fichiers de docs générés du dépot : ça ne sert à rien qu'ils soient dedans (tout comme les binaires du programme)