Searching in doc/tools/dtd