K 10
svn:author
V 5
lioux
K 8
svn:date
V 27
2005-11-28T00:56:13.000000Z
K 7
svn:log
V 172
Only build/install documentation if WITH_DOXYGEN is defined since
the dependency chain is too long. However, do not build under any
circumstances if NOPORTDOCS is defined.

END