Ticket #15129: Portfile.diff

File Portfile.diff, 540 bytes (added by raphael@…, 17 years ago)

  • Portfile

    old new  
    3535
    3636post-destroot {
    3737    xinstall -m 644 -W ${worksrcpath} HISTORIC.txt Install.html Install.txt \
    38         License.txt NEWS.html NEWS.txt README.txt ReadMe.html \
     38        License.txt NEWS.html NEWS.txt ReadMe.txt ReadMe.html \
    3939        ${destroot}${prefix}/share/doc/${name}
    4040    file copy ${worksrcpath}/Doc ${destroot}${prefix}/share/doc/${name}/html
    4141    file delete ${destroot}${prefix}/share/doc/${name}/examples