Some generated doc files were missed from previous commit. They've now been added