Ticket #14895: Portfile-docs.patch

Portfile

@@ -104 +104 @@
         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}
+    }
+}