/tools/gendocs/sources/