1Read the development information in the wiki at
2<http://wiki.postgresql.org/wiki/Development_information>.  All the
3developer tools are located in the src/tools/ directory.
4