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

[Per Abrahamsen]

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?  

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.