From bdd7b954ad27bb276a0ef0a81d4640ea7e1dab66 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Mon, 13 Aug 2012 11:33:57 +0200 Subject: php-pear: sync with rawhide --- install-pear.php | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) (limited to 'install-pear.php') diff --git a/install-pear.php b/install-pear.php index 1be987e..a8ca995 100644 --- a/install-pear.php +++ b/install-pear.php @@ -1,5 +1,5 @@ set('temp_dir', $temp_dir, 'default'); } +// Documentation files +if (!empty($doc_dir)) { + $config->set('doc_dir', $doc_dir, 'default'); +} + // User supplied a dir prefix if (!empty($with_dir)) { $ds = DIRECTORY_SEPARATOR; $config->set('php_dir', $with_dir, 'default'); - $config->set('doc_dir', $with_dir . $ds . 'doc', 'default'); + if (empty($doc_dir)) { + $config->set('doc_dir', $with_dir . $ds . 'doc', 'default'); + } $config->set('data_dir', $with_dir . $ds . 'data', 'default'); $config->set('test_dir', $with_dir . $ds . 'test', 'default'); if (empty($www_dir)) { -- cgit