use modified docs-tools