K 10
svn:author
V 7
thierry
K 8
svn:date
V 27
2015-10-21T21:20:12.133965Z
K 7
svn:log
V 100
Don't depend on doxygen if DOCS are not enabled.

Since I'm there, pet portlint.

Submitted by:	phk

END