/tools/dumpdoc/