CADiZ

Searching the documentation


There is a shell script in the $CADIZ/mip/bin directory for searching through all the web pages of documentation about CADi\num. It is called crawler and expects a single command-line argument that is a regular expression, in the style of grep(1), as in the following example.

crawler "inference rule"

This script runs a web browser, showing a list of the titles of web pages that contain text matching the regular expression. The web browser chosen is that named by the environment variable $WEBBROWSER, default netscape.

Ideally, this web page would offer a form to initiate a search. However, I cannot be sure that your web server will have access to this documentation, and indeed my web server doesn't have access to the master copy of the documentation.


IT 6-Jan-1999