Re: [gnu-prog-discuss] the `dir' file

[Karl Berry]

    Another idea would be for "info libc printf" to look in the index if
    "printf" is not a menu item.

Sounds plausible to me.

Sergey or Tom or Stefan, would you like to implement it?

Thanks,
k