Perhaps dump all the .texi-derived files into a subdirectory? WRT what program and options to use, you'll need two substitution variables. The texi2html output is just so much better than the makeinfo version that there must be a way to say, "use that."
Richard> For consistency, if an html_TEXINFOS thing (primary?) Richard> is added, it seems that there should be pdf_TEXINFOS, Richard> etc. too.
eww...
8)
Time to rethink the mechanism. :-)
Perhaps it's time to look at the makeinfo --html output and improve it?
Earnie.
