diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2010-08-26 18:34:37 +0000 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2010-08-26 18:34:37 +0000 |
| commit | 39ce62b110107ac03792130d130f64d62f3d4dcf (patch) | |
| tree | 36f6483aa5e6a1b295287eec92a925b2163f2008 /config | |
| parent | 13e6d6c5da184abcdfcfc9874ad17ef09f4ea044 (diff) | |
| download | postgresql-39ce62b110107ac03792130d130f64d62f3d4dcf.tar.gz | |
Don't auto-create the subdirectories holding built documentation in a VPATH
build tree. If we actually build the docs in the VPATH tree, those dirs
will get created then; but if they're present and empty, they capture the
vpathsearch searches in "make install", preventing installation of prebuilt
docs that might exist in the source tree. Per bug #5595 from Dmtiriy Igrishin.
Fix based on idea from Peter Eisentraut.
Diffstat (limited to 'config')
| -rw-r--r-- | config/prep_buildtree | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/config/prep_buildtree b/config/prep_buildtree index 57d7719673..f9164cfa2f 100644 --- a/config/prep_buildtree +++ b/config/prep_buildtree @@ -38,4 +38,13 @@ for item in `find "$sourcetree" -name Makefile -print -o -name GNUmakefile -prin fi done +# We must not auto-create the subdirectories holding built documentation. +# If we did, it would interfere with installation of prebuilt docs from +# the source tree, if a VPATH build is done from a distribution tarball. +# See bug #5595. +rmdir "$buildtree/doc/src/sgml/html" 2>/dev/null +rmdir "$buildtree/doc/src/sgml/man1" 2>/dev/null +rmdir "$buildtree/doc/src/sgml/man3" 2>/dev/null +rmdir "$buildtree/doc/src/sgml/man7" 2>/dev/null + exit 0 |