Ticket #12741: Portfile.diff

Portfile

@@ -35 +35 @@
 variant doc description {Install extra documentation} {
     post-destroot {
         xinstall -d ${destroot}${docdir}/html
-        xinstall -m 0644 [glob ${worksrcpath}/doc/*.{html,png,txt}] \
+        eval xinstall -m 0644 [glob ${worksrcpath}/doc/*.{html,png,txt}] \
             ${destroot}${docdir}/html
     }
 }