documentation set up psql/C