K 10
svn:author
V 6
obrien
K 8
svn:date
V 27
2002-10-17T00:32:33.000000Z
K 7
svn:log
V 56
Allow one to use "WITH_DOCS=no" to avoid building them.

END