Ticket #15258: Portfile-boost.diff

Portfile

@@ -122 +122 @@
     post-destroot {
         # Install HTML documentation
         xinstall -d ${destroot}${prefix}/share/doc/${name}
-        xinstall -W ${worksrcpath} index.htm boost.css rst.css boost.png \
+        xinstall -W ${worksrcpath} index.htm index.html boost.css rst.css boost.png \
             ${destroot}${prefix}/share/doc/${name}
         file copy ${worksrcpath}/doc ${destroot}${prefix}/share/doc/${name}
         file copy ${worksrcpath}/more ${destroot}${prefix}/share/doc/${name}
+        file copy ${worksrcpath}/tools ${destroot}${prefix}/share/doc/${name}
         file copy ${worksrcpath}/libs ${destroot}${prefix}/share/doc/${name}
     }
 }