Re: [bug-gawk] tag-based (id=)' hidden index for 'long' pages?

[Arnold Robbins]

Hi.

Besides Manuel's suggestion, this might could be done by
adding Texinfo @anchor statements at the right points. Would you
be willing to try doing that and contributing the changes back?

Thanks,

Arnold

> From: <address@hidden>
> To: <address@hidden>
> Date: Thu, 21 Sep 2017 03:28:59 +0200
> Message-ID: <address@hidden>
> Subject: [bug-gawk] tag-based (id=)' hidden index for 'long' pages?
>
> : - ) Hello, 
>
> Would it be possible, on ??long? pages in the online manual (e.g. for me
> presently
> http://gnu.org/software/gawk/manual/html_node/String-Functions.html), to
> add an ??embedded?/hidden ??index? (i.e via ?id=? tags, in the page
> source)?   (Indeed) like many (i suppose) i use my browser?s history as
> a ?notebook? (as i browse i continuously edit/prune the pages saved in
> the history, it so as to keep only value/final links). 
>
> In this way, in the present case for instance, i could just keep 
>
> http://gnu.org/software/gawk/manual/html_node/String-Functions.html#Name
> OfFunctionIcameToLearnAbout
>
> in my history, and delete all the search that lead me to it : - ) !!
>
> Thanks !! : - )
>
> Adi (Paris, France)