I submitted a ticket for the following issue:Running make doc or make plain inside the documentation directory doesn't produce correct plain.cc files.
This is a problem we accidentally introduced just before the last release. It is already fixed in the development sources. Thanks nevertheless for reporting the problem!
Best W. _______________________________________________ dealii mailing list http://poisson.dealii.org/mailman/listinfo/dealii
