Ticket #15258: Portfile-boost.diff

File Portfile-boost.diff, 774 bytes (added by sanchom (Sancho McCann), 16 years ago)

Updating the docs variant

  • Portfile

    old new  
    122122    post-destroot {
    123123        # Install HTML documentation
    124124        xinstall -d ${destroot}${prefix}/share/doc/${name}
    125         xinstall -W ${worksrcpath} index.htm boost.css rst.css boost.png \
     125        xinstall -W ${worksrcpath} index.htm index.html boost.css rst.css boost.png \
    126126            ${destroot}${prefix}/share/doc/${name}
    127127        file copy ${worksrcpath}/doc ${destroot}${prefix}/share/doc/${name}
    128128        file copy ${worksrcpath}/more ${destroot}${prefix}/share/doc/${name}
     129        file copy ${worksrcpath}/tools ${destroot}${prefix}/share/doc/${name}
    129130        file copy ${worksrcpath}/libs ${destroot}${prefix}/share/doc/${name}
    130131    }
    131132}