[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] tag-based (id=)' hidden index for 'long' pages?
From: |
Arnold Robbins |
Subject: |
Re: [bug-gawk] tag-based (id=)' hidden index for 'long' pages? |
Date: |
Sun, 08 Oct 2017 22:03:11 +0300 |
User-agent: |
Heirloom mailx 12.5 6/20/10 |
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)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [bug-gawk] tag-based (id=)' hidden index for 'long' pages?,
Arnold Robbins <=