K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2014-05-09T23:57:57.378956Z
K 7
svn:log
V 60
Add an option to build user manual.  Turned off by default.

END