New doc format, maketest.g is now automatically generated.