|
From: | belu |
Subject: | [bug-gawk] tag-based (id=)' hidden index for 'long' pages? |
Date: | Thu, 21 Sep 2017 03:28:59 +0200 |
: - ) 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#NameOfFunctionIcameToLearnAbout
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] |