Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 133007 - dev-lang/php needs to append MANPATH
Summary: dev-lang/php needs to append MANPATH
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High trivial (vote)
Assignee: PHP Bugs
URL:
Whiteboard:
Keywords:
: 143243 (view as bug list)
Depends on: 166048
Blocks:
  Show dependency tree
 
Reported: 2006-05-11 05:36 UTC by Anthony Giorgio
Modified: 2007-03-05 17:50 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Anthony Giorgio 2006-05-11 05:36:45 UTC 
I was trying to look at the PHP man page, and I noticed that it gets installed into the wrong place.  The dev-lang/php-5.1.4 ebuild needs to put the man pages in the right tree, and not just under the PHP installation prefix.

angio@opus ~ $  ls -l /usr/lib/php5/man/man1/
total 8
-rw-r--r-- 1 root root 1461 May 11 08:31 php-config.1
-rw-r--r-- 1 root root 1032 May 11 08:31 phpize.1
angio@opus ~ $ emerge -p dev-lang/php

These are the packages that I would merge, in order:

Calculating dependencies ...done!
[ebuild   R   ] dev-lang/php-5.1.4
Comment 1 Jakub Moc (RETIRED) gentoo-dev 2006-05-11 05:41:59 UTC 
(In reply to comment #0)
> The dev-lang/php-5.1.4 ebuild needs to put the man pages
> in the right tree, and not just under the PHP installation prefix.

Erm, no... that would cause collisions w/ multiple php versions installed. What we need is to install /etc/env.d entry to append ${MANPATH}
Comment 2 Jakub Moc (RETIRED) gentoo-dev 2006-08-08 13:51:12 UTC 
*** Bug 143243 has been marked as a duplicate of this bug. ***
Comment 3 Enrico 'nekrad' Weigelt 2006-08-08 14:10:04 UTC 
In this case, it should at least to go somewhere beyond /usr/share/ .

Manpages dont belong into $libdir.

Maybe /usr/share/man/php5/man1 ?
Comment 4 Kalin KOZHUHAROV 2007-01-03 08:33:45 UTC 
Any update on this?

I just got phreaked out to find /man/man1 as left by dev-lang/php-5.1.6-r8 ...
Comment 5 Luca Longinotti (RETIRED) gentoo-dev 2007-03-05 17:50:31 UTC 
We now use an env.d entry to append to MANPATH.
Best regards, CHTEKK.