Ticket #11410: diff
File diff, 486 bytes (added by tw.lbean@…, 18 years ago) |
---|
-
Portfile
21 21 22 22 post-destroot { 23 23 xinstall -d ${destroot}${prefix}/share/info 24 file rename ${destroot}${prefix}/info/ *${destroot}${prefix}/share/info24 file rename ${destroot}${prefix}/info/ ${destroot}${prefix}/share/info 25 25 delete ${destroot}${prefix}/info 26 26 delete ${destroot}${prefix}/share/man 27 27 }