>Before that happened, I have made a change to my file system. Since my root
>file system was full, I move the /usr/share tree to adifferent file system
>and symlinked it from /usr/share
>
>I have rebooted the system since, but the probelm with man stayed.
>
>I have no idea whether the two thinks (moved /usr/share tree and man not
>working) are linked.
Ok, that was in fact he reason. There are symbolic symlinks which point
backwards and which are broken but that arrangement.
First the correct way to do what I meant is with `mount --bind', not wiht a
symlink.
Second, I would argue that using backwards symlinks in man-db is not the most
robust way to organise a tree, and that should be avoided unless there are good
reasons to do that.
Thanks for your time and commitment
--
Francesco Potortì (ricercatore)Mobile: +39.348.8283.107
ISTI - Area della ricerca CNR Skype: wnlabisti
via G. Moruzzi 1, I-56124 Pisa Web:http://fly.isti.cnr.it
(gate 20, 1st floor, room C71) ISPIN: https://ieee-jispin.org/