> In PDF, @flushleft neither ignores @indent completely, nor does it > apply @indent correctly [...] > > @indent should be honoured correctly -- I see no reason to disable > it.
BTW, makeinfo produces the correct output for info files.
Werner
