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. So what's the best method to convert the devmanual installed locally now, app-doc/devmanual~9999, to a singular large text file for searching? file:///usr/share/doc/devmanual/html/index.html I see many tools for converting text to html, but not the otherway? Besides are there probably newer, slicker ways to do this conversion to a singular flat text file, that I'm not aware of...... Then, with that flat file in the same dir as above, I'll just point the browser straight to the flat file version and use the searchbox built into the browser. all suggestions are most welcome. James
