On 09/26/2014 03:38 PM, James wrote: > Jc García <jyo.garcia <at> gmail.com> writes: > > >> There's 'app-doc/devmanual' that is basically the html files that make >> the devmanual but, if you have them in your pc you can convert them to >> plain text and grep them, plus you have the manual even if offline. > > > Ok, some years (decades?) ago I use html2txt. It must have been part of a > deprecated package, as now I do not find it. >
app-text/html2text or dev-python/html2text? links -dump <url> also works.
