K 10
svn:author
V 6
brooks
K 8
svn:date
V 27
2012-07-31T18:49:18.147662Z
K 7
svn:log
V 47
Fix build in the !DOCS case.

Reported by:	avg

END
