Ticket #15128: Portfile.diff

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

  • Portfile

    old new  
    3838
    3939post-destroot {
    4040    xinstall -m 644 -W ${worksrcpath} HISTORIC.txt Install.html Install.txt \
    41         License.txt NEWS.html NEWS.txt README.txt ReadMe.html \
     41        License.txt NEWS.html NEWS.txt ReadMe.txt ReadMe.html \
    4242        ${destroot}${prefix}/share/doc/${name}
    4343    file copy ${worksrcpath}/Doc ${destroot}${prefix}/share/doc/${name}/html
    4444    file delete ${destroot}${prefix}/share/doc/${name}/examples