Re: top-margin bug?

[Patrick McCarty]

On Mon, Jul 27, 2009 at 11:41:02AM -0700, Joe Neeman wrote:
> On Mon, 2009-07-27 at 11:31 -0700, Patrick McCarty wrote:
> > 
> > Thanks for pointing out the bug in the Notation Reference.
> > 
> > But I can't use that exact description, because if you do not *have* a
> > title, head-separation will behave differently.  In this case, it
> > appears to be the distance between the top-margin and the spot where a
> > title *would* appear if it existed.
> > 
> > However, I think I will hold off on modifying the description, because
> > there some large spacing changes (from Joe) will be committed soon,
> > and I'm not sure if "head-separation" will be affected or not.
> 
> I'm not going to touch head-separation.

Okay, great.  I'll make the doc changes then.

Thanks,
Patrick