Ticket #14895: Portfile-docs.patch

File Portfile-docs.patch, 718 bytes (added by arsptr@…, 17 years ago)

Patch for Portfile

  • Portfile

    old new  
    104104        configure.args-delete   --without-icu
    105105        configure.args-append   --with-icu=${prefix}
    106106}
     107
     108variant docs {
     109    post-destroot {
     110        # Install HTML documentation
     111        xinstall -d ${destroot}${prefix}/share/doc/${name}
     112        xinstall -W ${worksrcpath} index.htm boost.css rst.css boost.png \
     113            ${destroot}${prefix}/share/doc/${name}
     114        file copy ${worksrcpath}/doc ${destroot}${prefix}/share/doc/${name}
     115        file copy ${worksrcpath}/more ${destroot}${prefix}/share/doc/${name}
     116        file copy ${worksrcpath}/libs ${destroot}${prefix}/share/doc/${name}
     117    }
     118}