K 10
svn:author
V 5
chern
K 8
svn:date
V 27
2001-08-08T18:49:16.000000Z
K 7
svn:log
V 190
Make use of <port> tag over <filename> for port references.  If
<filename type="port">, or similar, is decided upon at a later time, it would
not be too hard to change.

Reviewed by:	murray

END