[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gnu-prog-discuss] the `dir' file
|
From: |
Eli Zaretskii |
|
Subject: |
Re: [gnu-prog-discuss] the `dir' file |
|
Date: |
Fri, 06 Dec 2013 21:19:01 +0200 |
> Date: Fri, 6 Dec 2013 19:15:03 GMT
> From: address@hidden (Karl Berry)
> Cc: address@hidden, address@hidden
>
> 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?
Whoever does that please be sure to look for an exact match in the
index, not just any entry that starts with or includes 'printf'.
Otherwise, the effect will be user surprise and dissatisfaction.