Scripts in the `doc` directory use a `sam` tool which is not in the usual developer toolbox. CONTRIBUTING.md or the [wiki page](https://github.com/google/re2/wiki/Contribute) should mention the source of that tool.
Scripts in the
docdirectory use asamtool which is not in the usual developer toolbox.CONTRIBUTING.md or the wiki page should mention the source of that tool.