Re: [help-texinfo] makeinfo and include problem

[Karl Berry]

    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