K 10 svn:author V 6 johans K 8 svn:date V 27 2013-09-09T05:35:02.911272Z K 7 svn:log V 113 Fix syntax issue in make.texi; fixes build with modern texinfo Reported by: omar siddique END