Hi, I think more docs is good, but IMO it should be rather part of the
'configure --help' output. Consider that people may one day not check out from CVS but use a source .tar.gz instead. Greetings, Onno _______________________________________________ Simulavr-devel mailing list Simulavr-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/simulavr-devel
