Better workflow
Better workflow
Reinstated Jim's build directory, more complete make clean
Merge branch 'master' into gh-pages
Reinstated Jim's build directory
Reinstated Jim's build directory