[EMAIL PROTECTED] wrote: >I really don't know definitively so someone else may have a better >answer but according to the man man-page - > >/var/cache/man/ is an alternate database cache. > >/usr/share/man/ is a traditional database cache. > >From the man-page - >/usr/share/man/index.(bt|db|dir|pag). > A traditional global index database cache. > >/var/cache/man/index.(bt|db|dir|pag) > An alternate or FHS compliant global index database cache. > >My /var/cache/man/ directories are empty also. >So I think your looking for /usr/share/man/
As far as I know no Debian man browser stores preformatted pages in /usr/share/man. If they do, please file a bug. -- Colin Watson [EMAIL PROTECTED]