Так. Я внезапно разобрался, что texinfo и info - это разные форматы. Пожалуй, я несколько поспешил с вопросом. Извините.