K 10 svn:author V 5 asami K 8 svn:date V 27 1998-02-16T13:28:18.000000Z K 7 svn:log V 185 Make this port install docs in the right place. If you create ${PREFIX}/share/doc/v, and do a cp -r foo/doc ${PREFIX}/share/doc/v, cp will create a new directory "share/doc/v/doc".... END