K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2014-04-05T17:54:36.535661Z
K 7
svn:log
V 166
The proper way to request no man pages currently is NO_MAN=xxx. Use it
in preference to the user WITHOUT_MAN knob, which should never be set
in normal src Makefiles.

END