K 10
svn:author
V 6
johans
K 8
svn:date
V 27
2008-06-12T10:24:24.000000Z
K 7
svn:log
V 113
- Previous commit was broken
  Correct installation of manuals with and without NOPORTDOCS now

Reported by:	pav

END