La documentation de la classe se trouvant dans le dossier `doc' est désormais
un fichier (.pdf) et non un lien symbolique.
Suppression d'un lien symbolique devenu inutile.
Propagation des modifications des fichiers sources vers les fichiers compilés.
Merge branch 'tlcontrib' of github.com:dbitouze/yathesis into tlcontrib