On 7 Aug, mfrattola@mail.enjoy.it wrote: > > Do I have to upgrade man page index somehow? > Lesson learned: Debian is always right. Read man page carefully :) > You could try mandb, although I never called it mayself and never had problems when I installed manpages to /usr/local. Ciao, Martin -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-user-request@lists.debian.org . Trouble? e-mail to templin@bucknell.edu .