r913@server (orig r911): jim | 2005-12-17 20:44:19 -0800 r1097@server: jim | 2005-12-17 20:44:02 -0800 Updated texinfo patch to -2
r913@server (orig r911): jim | 2005-12-17 20:44:19 -0800
r1097@server: jim | 2005-12-17 20:44:02 -0800 Updated texinfo patch to -2