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?

Cheers

Dave