K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2014-06-25T06:34:54.907745Z
K 7
svn:log
V 135
Use gmake lite to avoid circular dependency when building on a system that
is build WITHOUT_INFO (gmake needs makeinfo, hence texinfo)

END