Added --htmldir option to pg_config, equivalent to the new configure option.
authorPeter Eisentraut <peter_e@gmx.net>
Mon, 18 Feb 2008 14:51:48 +0000 (14:51 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Mon, 18 Feb 2008 14:51:48 +0000 (14:51 +0000)
commitac322bb68e18a7b83f5b91c10d2b76fc26847818
tree29e32e75394100d93d27f63a30397bb813014526
parent8629411910ab6808fdeb4263f9faa755fd181068
Added --htmldir option to pg_config, equivalent to the new configure option.
doc/src/sgml/ref/pg_config-ref.sgml
src/bin/pg_config/pg_config.c
src/include/port.h
src/port/Makefile
src/port/path.c