>
>
> Texinfo. Not sure if that is also the package name on *ubuntu/debian.


It's called texinfo on ubuntu/debian and it fixed the problem.

Thanks a lot Peter.

Eryk

	[[alternative HTML version deleted]]

