On Fri, Apr 20, 2012 at 05:39:11PM -0700, Karl Berry wrote: > A diff against the latest CVS version of the info directory is > attached. > > I applied it. Thanks. Pleasure! Julian