There appears to be a bug in the dolfin-order script. When presented with a plain-text XML file to renumber, it does the right thing. When presented with a gzipped XML file to renumber, it writes out a plain-text XML file with the extension .xml.gz.
This doesn't confuse DOLFIN but it does bother Emacs! Harish _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
