Re: [PATCH] Add accesskey attributes to html output.

[Karl Berry]

    This patch makes makeinfo --html add 'accesskey' attributes to the
    <a href> elements it emits.

Cool, thanks.

I'll check that it gets properly ignored in older browsers, but I expect
that's not a problem, as you said.

Thanks,
karl