K 10
svn:author
V 6
danilo
K 8
svn:date
V 27
2017-06-06T22:39:50.770250Z
K 7
svn:log
V 205
- Add DOCS option. The configure script looks for latex2man tool to install docs but
  the man files are already built in the package, so we are just installing them.

PR:		219582
Submitted by:	 John Hein

END