Re: makeinfo dumps core

[Theo Buehler]

> This works indeed. I'd rather ditch techinfo from base, but i guess
> that is not feasible yet.
> 
> So ok?

ok tb