[racket-dev] Search in manuals

From: Harry Spier (vasishtha.spier at gmail.com)
Date: Sat Jan 12 14:06:57 EST 2013

I just did a "search in manuals" on "Java".  I wanted to see all the
references to Java in the Racket documentation and it only brought up
a reference to JavaDoc even though I know that the Racket Guide has
references to "Java" in it.

Is it possible to add an option to the "search in manuals" feature so
that it will bring up all occurances of a word or phrase in the
manuals.

Thanks,
Harry Spier

Posted on the dev mailing list.