<html><body>
<p>> <tt>u can always give --disable-docs<br>
><br>
> if u dont want help documents.</tt><br>
<br>
<tt>Thanks for the pointer, John.</tt><br>
<br>
<tt>But I'd like to fix the problem rather than mask it.</tt><br>
<br>
<tt>Rich</tt></body></html>