K 10
svn:author
V 5
steve
K 8
svn:date
V 27
1998-11-21T20:04:34.000000Z
K 7
svn:log
V 110
Update MASTER_SITE and wrap docs install in 'if !defined(NOPORTDOCS)...'.

PR:		8741
Submitted by:	maintainer

END