/tools/extractdoc/