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