Re: Enhancements to options menu (was Re: Reveal mode)

[Eli Zaretskii]

On Wed, 8 May 2002, Per Abrahamsen wrote:

> Eli Zaretskii <address@hidden> writes:
> 
> > Using HTML is IMHO a much worse solution, since HTML doesn't support 
> > features like index searches without which a manual cannot be easily
> > used as a reference.  
> 
> Is index search a file format feature?  

It's mainly a browser feature, I think.

> I'd say that a
> 
>   <link rev="INDEX" href="foo-index.html">
> 
> in the pages generated by makeinfo should do the trick, together with
> an automatic generation of an suitable formatted foo-index.html file.

I don't think I understand, sorry for being dense.  Can you show an 
example of HTML using this, including what should be in foo-index.html,
and also explain how would that make it possible to do something similar 
to the Info command "i foo RET"?