Merge pull request #1 from kent-and/master

pull request
Fixed doconce options: - to _ for new doconce version.
Merge branch 'master' of github.com:hplgit/fenics-mixed
Added missing publish_config.py.
updates
updates
Merge github.com:hplgit/fenics-mixed

Conflicts:
	doc/src/fenics-mixed.do.txt