--- Portfile.orig	2008-05-11 15:00:40.000000000 -0700
+++ Portfile	2008-05-11 15:02:16.000000000 -0700
@@ -122,10 +122,11 @@
     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}
     }
 }