From: Dave Thomas <dave@...>
Date: 2004-10-26T23:30:17+09:00
Subject: Re: Missing rdocs


On Oct 25, 2004, at 14:16, Brian Candler wrote:

> In 1.8.2-preview2, there are a number of cases where libraries seem to 
> be
> marked up for rdoc, but the file is not listed in lib/.document and
> therefore is not available for 'ri'


If the owner of a file says it is complete, then we can sure add it.


Cheers

Dave