log src/texinfo-1-fixes.patch @ 3578:583d3bf548e6

age author description
Tue, 15 Apr 2014 21:32:17 -0400 John Donoghue texinfo: update to 5.2 and install all tools
Fri, 14 Feb 2014 13:23:25 -0500 John W. Eaton fix texinfo egrep bug