Greetings,

The development trunk's doc/misc/Makefile.ini needs to be updated with 
instructions to build the new ido.texi. I've attached a patch to do so.

-- 
Edward Trumbo