Log Message:-----------Update tools directory name.
Modified Files:-------------- pgsql/doc: FAQ_DEV (r1.111 -> r1.112) (http://developer.postgresql.org/cvsweb.cgi/pgsql/doc/FAQ_DEV.diff?r1=1.111&r2=1.112) pgsql/doc/src/FAQ: FAQ_DEV.html (r1.114 -> r1.115) (http://developer.postgresql.org/cvsweb.cgi/pgsql/doc/src/FAQ/FAQ_DEV.html.diff?r1=1.114&r2=1.115)