[plt-scheme] Possible build problem in 4.2: docs going to wrong place

I know it hasn't come into release yet so if this is not a problem
then please forgive and disregard.

I checked out r14847 from Subversion and during the installation
process some documentation got put into $HOME/.plt-scheme/$VERSION/doc
rather than $PREFIX/share/plt/doc.  Specifically they are:

total 104
drwxr-xr-x  2 root  users    512 May 16 23:17:00 2009 handin-server/
-rw-r--r--  1 root  users   7572 May 16 23:21:14 2009 in.sxref
-rw-r--r--  1 root  users  20029 May 16 23:19:38 2009 index.html
drwxr-xr-x  2 root  users   1024 May 16 23:14:35 2009 master-index/
-rw-r--r--  1 root  users    739 May 16 23:08:53 2009 out.sxref
drwxr-xr-x  2 root  users    512 May 16 23:16:15 2009 schemeunit/
-rw-r--r--  1 root  users   2208 May 16 23:13:32 2009 scribble-common.js
-rw-r--r--  1 root  users   8421 May 16 23:13:32 2009 scribble.css
drwxr-xr-x  2 root  users   1024 May 16 23:20:24 2009 search/

The checkout I have is of /trunk.  Again, sorry if this is expected or
not a problem, but I think a new release is imminent so I didn't want
it to slip by just in case.

Best regards,

-- 
Taylor Christopher Venable
http://real.metasyntax.net:2357/