The problem for me is that I can not specify all potential names of
generated HTML pages.
You don't need to specify them all. You only need to specify one, e.g.,
tora/index.html. (Clearly the rule would have to be changed.)
Perhaps easier would be not to split the html output, so that you do get
one file, tora.html. Just give --no-split to makeinfo.
Best,
karl
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo
[email protected]
http://lists.gnu.org/mailman/listinfo/help-texinfo
