En migrant mon portable sous reiserfs, j'ai oublié (mais où avais-je la tête ?) de copier /usr/info. C'est pas bien grave à priori, sauf que je me retrouve avec un tetex-bin en salle état et qui refuse de se désinstaller because install-info n'est pas content. Or donc, quelqu'un aurait-il une idée pour recréer /usr/info sans réinstaller tout le système ? -- Laurent Martelli martelli@iie.cnam.fr http://www.linuxfan.com/~laurent