On Thu, Oct 11, 2007 at 03:53:56PM +0200, Ralf Corsepius wrote: > # makeinfo --version > makeinfo (GNU texinfo) 4.11 Someone else filed a PR about this last night. It's fixed on trunk. Joel, what do you think we should do? Just document it? -- Daniel Jacobowitz CodeSourcery