Would it be possible to run the script generate.py in the swig directory whenever the swig interface needs to be regenerated?
This script updates dolfin_headers.h and updates Python help strings. -- Anders _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
