"Cucinotta Tommaso" <[EMAIL PROTECTED]> writes: > Thanx, concerning configure options, it would be useful to highlight, > for each option/switch, what is the default value that is taken, if > any.
It is given in INSTALL, for the options that are documented :) JMarc
