Reimar Döffinger writes: > in section 4.2 of the FAQ it says "check the config.log file for > details.", but it is configure.log. It should also be stated that > configure.log is quite often (always?) deleted by make, so they have to > rerun configure before... > Please fix if you have the time... Thanks, fixed. Diego