Your "low-tech" solution
BTW, even simpler:
zgrep /usr/share/info/* foo
(And maybe other directories, depending on your system ...)
purchase an e-copy (e.g. Kindle version) of all the info-nodes
compiled together that would allow full-text searches?
To the best of my knowledge, no one has ever tried to put together an
electronic collection of GNU manuals in one place for download or
searching or e-reading or whatever. It would be a lot of work to keep
up to date. In practice, if you do a web search for any given term
together with "gnu" and "manual" or "info" or some such, you will
probably hit it.
A list of (pretty much) all GNU manuals is linked from
http://www.gnu.org/manual, FWIW.
(By the way, Kindles are all about DRM, so GNU wouldn't have anything to
do with them specifically, in any case.)
Best,
Karl
