Re: [gentoo-dev] Info Pages

[Chad Huneycutt]

Chad M. Huneycutt wrote:

> Here is a quick tutorial on making info pages work:

<snip>

Entries for info pages are not currently being removed from 
/usr/share/info/dir when a package is unmerged.  Since install-info has 
a --delete option, this should not be that hard to implement.  In fact, 
the only trick is knowing when you don't need to remove an entry when 
unmerging a package (say, if you are unmerging after an install of an 
updated version).  Due to the nature of the merging process, I am pretty 
sure that emerge can deal with this, though.

Chad