K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2014-07-10T15:05:41.620723Z
K 7
svn:log
V 162
The GNU texinfo and GNU info pages are not built and installed
anymore, WITH_INFO knob has been added to allow to built and install
them again.

Reviewed by:	imp

END