Ticket #1786: Portfile.diff
File Portfile.diff, 433 bytes (added by matt@…, 20 years ago) |
---|
-
bc/Portfile
old new 18 18 checksums md5 d44b5dddebd8a7a7309aea6c36fda117 19 19 20 20 configure.args --infodir=${prefix}/share/info \ 21 --mandir=${prefix}/share/man 21 --mandir=${prefix}/share/man \ 22 --with-libedit 22 23 23 24 post-destroot { 24 25 file delete -force ${destroot}${prefix}/share/info/dir