Am Fri, 31 Mar 2006 18:08:00 -0600 schrieb [EMAIL PROTECTED] (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.)
Yes, I see, my fault. > > 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. That is currently not possible because we refer from our source code to different HTML pages and I wrote the texi-source so that the same HTML pages are created as in out old static HTML-time. May be we will introduce a mapping layer in future. Thank you. Thomas > > Best, > karl > > -- _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo [email protected] http://lists.gnu.org/mailman/listinfo/help-texinfo
