K 10 svn:author V 2 rm K 8 svn:date V 27 2014-01-26T19:32:11.420514Z K 7 svn:log V 182 - unmute docs installation - simplify port a bit Anyway, I wasn't able to reproduce the problem from the PR. PR: 182407 Reported by: Bertram Scharpf END