it's part of texinfo