andreas at bawue.net said: > The texinfo source needed a small patch and a rebuild. > If you could take a look and approve if it's okay, I'd be grateful. Yup, looks ok now. Approved. Cheers, Christian