K 10
svn:author
V 7
antoine
K 8
svn:date
V 27
2016-02-06T21:05:55.889981Z
K 7
svn:log
V 139
Fix build on FreeBSD 10 by always using makeinfo from ports,
makeinfo from base doesn't understand some commands

Reported by:	pkg-fallout

END