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