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

[Manuel Collado]

El 21/09/2017 a las 3:28, address@hidden escribió:
> 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*#NameOfFunctionIcameToLearnAbout*
>
> in my history, and delete all the search that lead me to it : - ) !!

I think this feature is already present in the manual pages. But with 
some obscure target names generated by the HTML formatter tool. For 
instance, the asort() string function can be directly accessed as

https://www.gnu.org/software/gawk/manual/html_node/String-Functions.html#index-asort_0028_0029-function-_0028gawk_0029

To get the URL of a specific function, please use the 'index' page and 
click on the desired entry, then save the target address.

Regards.
--
Manuel Collado - http://lml.ls.fi.upm.es/~mcollado