--- Portfile.orig	2008-04-02 20:25:09.000000000 +1100
+++ Portfile	2008-04-02 22:40:53.000000000 +1100
@@ -104,3 +104,15 @@
 	configure.args-delete	--without-icu
 	configure.args-append	--with-icu=${prefix}
 }
+
+variant docs {
+    post-destroot {
+        # Install HTML documentation
+        xinstall -d ${destroot}${prefix}/share/doc/${name}
+        xinstall -W ${worksrcpath} index.htm 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}/libs ${destroot}${prefix}/share/doc/${name}
+    }
+}

