[dropping texinfo-devel, as they shouldn't be interested in these details] On 04/01/2012 10:49 PM, Stefano Lattarini wrote: > > I'll thus apply to two attached patches to master in a couple of days > if there is no objection. > Ouch, the new test case was borked :-/ And the change broke another test, 'txinfo18.test' -- which in truth is made mostly obsolete by this change, and should thus be removed (and its still relevant checks moved into the new 'txinfo-no-clutter.test'). The amended patch is attached. Regards, and sorry for the noise, Stefano