On Tue, Sep 28, 1999 at 04:23:22PM -0400, Peter S Galbraith wrote: > Then we'll have to agree where we register docs. I have the > following directories on a fresh potato system (with few packages): > > /usr/share/doc/HTML/ > /usr/doc/HTML/ > > And they are _not_ symlinks. They get created by different paths > set in .menu files: ...
Ugh. Oh well, the logical extrapolation of the symlink decision is that the contents of /usr/share/doc/HTML should be symlinked so that it's available in /usr/doc/HTML/. -- Raul