@ -229,3 +229,4 @@ overridden in the site shell script).
`configure' also accepts some other, not widely useful, options. Run
`configure --help' for more details.