diff options
| author | Peter Eisentraut | 2008-02-18 14:51:48 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2008-02-18 14:51:48 +0000 |
| commit | 84ce707ba8f6dfd776e0d284fecd1fd497acf5a3 (patch) | |
| tree | 623111980ef370b1b540624808112b412aafb9d8 /src/port | |
| parent | a9bc069c0b0d0b6fa781a79de04e0273ca97f819 (diff) | |
Added --htmldir option to pg_config, equivalent to the new configure option.
Diffstat (limited to 'src/port')
| -rw-r--r-- | src/port/Makefile | 3 | ||||
| -rw-r--r-- | src/port/path.c | 11 |
2 files changed, 12 insertions, 2 deletions
diff --git a/src/port/Makefile b/src/port/Makefile index b1131599e35..572e7fc8352 100644 --- a/src/port/Makefile +++ b/src/port/Makefile @@ -19,7 +19,7 @@ # OBJS adds additional object files that are always compiled. # # IDENTIFICATION -# $PostgreSQL: pgsql/src/port/Makefile,v 1.35 2007/09/28 22:25:49 tgl Exp $ +# $PostgreSQL: pgsql/src/port/Makefile,v 1.36 2008/02/18 14:51:48 petere Exp $ # #------------------------------------------------------------------------- @@ -84,6 +84,7 @@ pg_config_paths.h: $(top_builddir)/src/Makefile.global echo "#define PKGLIBDIR \"$(pkglibdir)\"" >>$@ echo "#define LOCALEDIR \"$(localedir)\"" >>$@ echo "#define DOCDIR \"$(docdir)\"" >>$@ + echo "#define HTMLDIR \"$(htmldir)\"" >>$@ echo "#define MANDIR \"$(mandir)\"" >>$@ clean distclean maintainer-clean: diff --git a/src/port/path.c b/src/port/path.c index d353e6e17d1..b3b757fd52c 100644 --- a/src/port/path.c +++ b/src/port/path.c @@ -8,7 +8,7 @@ * * * IDENTIFICATION - * $PostgreSQL: pgsql/src/port/path.c,v 1.74 2008/01/01 19:46:00 momjian Exp $ + * $PostgreSQL: pgsql/src/port/path.c,v 1.75 2008/02/18 14:51:48 petere Exp $ * *------------------------------------------------------------------------- */ @@ -600,6 +600,15 @@ get_doc_path(const char *my_exec_path, char *ret_path) } /* + * get_html_path + */ +void +get_html_path(const char *my_exec_path, char *ret_path) +{ + make_relative_path(ret_path, HTMLDIR, PGBINDIR, my_exec_path); +} + +/* * get_man_path */ void |