I've just realised that there was a lurking gotcha in the naming of
[sgt/agedu] / mkauto.sh
2011-07-26 simonSimplify mkauto.sh to use autoreconf -i, by putting...
2011-07-25 simonDiscard the 'master' makefile, in favour of using Autom...