K 10
svn:author
V 3
reg
K 8
svn:date
V 27
2000-10-09T16:56:43.000000Z
K 7
svn:log
V 61
Correct the documentation of the WITH_ and WITHOUT_ options.

END