This is the mail archive of the
gcc-help@gcc.gnu.org
mailing list for the GCC project.
searching the GCC manual (tip of the day)
- From: Eljay Love-Jensen <eljay at adobe dot com>
- To: "gcc-help at gcc dot gnu dot org" <gcc-help at gcc dot gnu dot org>
- Date: Thu, 26 Aug 2004 09:15:58 -0500
- Subject: searching the GCC manual (tip of the day)
Tip of they day..
Put this into a script where you've unpacked your GCC documentation from
the tarball.
---------------------------
echo "<html><head></head><body>" >tmp.htm
echo "<p>Your results..." >>tmp.htm
grep -l -i "$1" *.html | sed 's@\(.*\)@<br><a href="\1">\1<a>@' >> tmp.htm
echo "</body></html>" >tmp.htm
---------------------------
This will create a (more-or-less well-formed) html page with your search
results. Since the GCC documentation pages end in extension ".html", this
page should be isolated from the real documentation.
Then you can use your browser to load up tmp.htm and view each of the
resulting pages.
Enjoy,
--Eljay