debian/dolfin-convert.1.gz
debian/dolfin-order.1.gz
debian/dolfin-plot.1.gz
debian/dolfin-version.1.gz
