Re: Make doc error 2.13.10

[Joe Neeman]

On Wed, 2009-12-23 at 07:29 +0100, David Kastrup wrote:
> Colin Campbell <address@hidden> writes:
> 
> > David Kastrup wrote:
> >>
> >> Nicolas integrated my define-markup-command patches recently.
> >> Previous versions had reported memory problems which I could not
> >> reproduce, but tried to fix nevertheless, and the revised version was
> >> reported not to have the same problems.
> >
> > I've managed to build the docs (very much like the look of the web
> > page, too!). Pulling in yesterday's patch didn't seem to fix it, but
> > installing a boatload ( metric: shed-load) of texlive-fonts* seems to
> > have done it.
> 
> While memory-based errors are somewhat quirky, that makes it unlikely
> that my change was the culprit.

That's right. My commit 88d85985d caused the segfault, which was fixed
yesterday.

Cheers,
Joe