Re: Fwd: [PATCH] different approach to --split html

[Han-Wen Nienhuys]

address@hidden writes:
> > 
> >   <meta http-equiv="Refresh" content="1;
> >   URL=index.html#Nodename-anchor">
> >   <h1>going to nodename-anchor</h1>
> > 
> >   such a stub is generated by makeinfo.
> 
> Does this automatically cause a Web browser to be forwarded to 
> index.html, or does the user need to do something?  If the former, 
> perhaps we could use this to emulate the Info tag tables?

It causes the browser to go to index.html within 1 second. Some
browser don't support that, but a normal link could also be added.

> We also need to know what version of HTML supports the attributes used 
> above, and what browsers support them, to make sure we don't break older 
> and/or less popular browsers.

This feature has existed for many years. (You might be familiar with
it, if you set the delay to 0 seconds, you get a page that won't let
you go back into the browsing history).

> In any case, even if we decide to do the above by default, I still think 
> there should be a command-line switch to makeinfo which causes it to 
> assume all target files are unsplit, for those users who would not want 
> the additional complications of many Nodename.html files and 
> subdirectories.

Perhaps. Personally, I think retaining old behavior is a form of
feeping creaturitis, and I don't like it. Moreover, I think one should
not look without a browser at directories full of .html files.

IMO, the only valid concern is that the stub-files take up too much
space, eg. in the unlikely event of needing a floppy-disk that
contains multiple crosslinked .html-ed info-files.

--
Han-Wen Nienhuys   |   address@hidden    | http://www.cs.uu.nl/~hanwen/