Réponse acceptée !
Bonjour,
J'ai posté, il y a quelques jours,
un commentaire (en anglais) dans les rapports de bugs (N°
525273) de Doxygen, à ce sujet.
En gros, ça dit que l'option SHORT_NAMES n'est
pas la cause du problème, et ça explique pourquoi.
Pour corriger ce problème, il suffit d'effacer complètement tous les fichiers du répertoire qui sont issus des générations précédentes : l'erreur tient aux fichiers qui subsistaient précédemment dans le répertoire, en liaison avec une ancienne génération mal configurée (ce qui est souvent le cas quand on débute avec ce produit).
Si l'option SHORT_NAMES fonctionne, ce n'est pas parce qu'elle a un rapport avec le problème, mais parce qu'elle change tous les noms de fichiers générés, ce qui fait que les fichiers précédents ne sont pas "vus", et on se retrouve dans la même situation que si on avait tout effacé.
Sauf qu'alors ces anciens fichiers restent là quand même, inutiles et prenant de l'espace sur le disque.
Gingko