K 10 svn:author V 5 peter K 8 svn:date V 27 1997-01-12T08:10:55.000000Z K 7 svn:log V 233 Patch up the readline info building. This one is a bit of a problem since the source name is not the same as the texinfo name so we have to use SRCS=. This means we can't build two info sets in the same directory so I've split it. END