On Wed, 14 Jan 2004 00:01:57 +0900
Dave Thomas <dave / pragprog.com> wrote:

> 
> On Jan 13, 2004, at 8:46, James F. Hranicky wrote:
> > This target almost works, but installs ri in 
> > $DESTDIR/$DESTDIR/usr/local/share/ri :
> 
> When you say "installs ri" do you mean the command, or the 
> documentation?

Sorry, the ri docs.

Jim