Update doc-tools.coffee