On 08/13/2012 03:42 PM, Stefano Lattarini wrote: > [Dropping texinfo-devel] > > On 08/13/2012 10:17 AM, Stefano Lattarini wrote: >> Hi Karl. >> >> On 08/13/2012 12:25 AM, Karl Berry wrote: >>> Split info files were indeed just about efficiency, especially memory >>> size. >>> >> Thanks for confirming. Some nice simplifications awaits then, yippy! >> > Here it is (attached). I will push shortly (or by this evening). > Pushed.
Regards, Stefano
