Re: confusing docs

[Graham Percival]

Joe Neeman wrote:
> On Thursday 07 June 2007 07:11, Graham Percival wrote:
> > Thanks!  I think that the second "between-system-padding" should be
> > something else, but I don't know what it should be.  Joe?
>
> Oops, you're right. The second one should be 
> page-breaking-between-system-padding.

Thanks, fixed.  Actually, the @funindex entry was correct; I really 
should have noticed that.

Cheers,
- Graham