add a -I to the makeinfo command line