All, Martin Steigemann pointed me at a bug in the nodoc file for release 7.0: the ./configure script always produced an error. Clearly, nobody could have successfully used this tar file. In any case, I've uploaded a corrected version for it.
Best W. ------------------------------------------------------------------------- Wolfgang Bangerth email: [email protected] www: http://www.math.tamu.edu/~bangerth/ _______________________________________________ dealii mailing list http://poisson.dealii.org/mailman/listinfo/dealii
