Documentation about converting mesh files

Hi!

Yesterday I used Dolfin for the first time and I find interface and documentation very nice. With one exception.. it took me quite a long time to figure out how to use a mesh generated by a third party program.

There are no instructions for converting between different mesh formats in the relevant part of the tutorial [2]. I also searched the pdf version of the tutorial [1] for word "convert" and I didn't find any occurences of it in the context of meshes.

Some information I would find handy:

 * Fenics uses its own mesh format that is saved as a xml file.
 * To convert from other mesh formats you can use "dolfin-convert" script. In Ubuntu it is distributed separately from the C++ and Python libraries in package "dolfin-bin".
 * One can also convert between mesh formats with library functions. In Python for example: "from dolfin_utils import meshconvert; meshconvert.convert2xml(.....)".
 * For more information see [3], for example page 183, 203,...

In addition to that maybe "python-bin" package could be suggested by the "python-dolfin".

Do you agree with the remarks or have I missed something?

[1] http://fenicsproject.org/_static/tutorial/fenics_tutorial_1.0.pdf
[2] http://fenicsproject.org/documentation/tutorial/prepro.html
[3] http://launchpad.net/fenics-book/trunk/final/+download/fenics-book-2011-10-27-final.pdf