Bonjour, Y'a t-il un moyen facile et propre pour un utilisateur (i.e. sans que root ne modifie quoi que ce soit) d'ajouter ses propres pages de man ?
Nous avions abouti a quelque chose du genre : MANPATH="`manpath`:$HOME/man" ; export MANPATH Qui ne nous semblait pas satisfaisant. L'info est surement quelque part, mais nous n'avons pas reussi a mettre la main dessus, merci d'etre indulgent. -- solofo
