On Jul 11, 2005, Daniel Berlin <[EMAIL PROTECTED]> wrote: > In fact, a lot of projects don't even bother to distribute anything but > HTML docs anymore (regardless of how they browse it).
And that's a pity, because it's a bit of a pain to turn the output of grep -r regexp docs/HTML into something the browser will display properly, especially when there are multiple hits. The stand-alone info tool just rules at that; it's invaluable to search GCC docs like that. Having dozens of web pages instead would make such searches intolerable. -- Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/ Red Hat Compiler Engineer [EMAIL PROTECTED], gcc.gnu.org} Free Software Evangelist [EMAIL PROTECTED], gnu.org}
