K 10
svn:author
V 7
roberto
K 8
svn:date
V 27
2006-05-17T13:49:30.000000Z
K 7
svn:log
V 68
Even with PORTDOCS, we need to copy the files ourselves in DOCSDIR.

END