configure
This document was generated on 11 September 1998 using the texi2html translator version 1.51.