[Python-bugs-list] [ python-Bugs-446671 ] configure ignores --mandir

noreply@sourceforge.net noreply@sourceforge.net
Wed, 01 Aug 2001 06:30:04 -0700


Bugs item #446671, was opened at 2001-07-31 23:02
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=105470&aid=446671&group_id=5470

Category: Build
>Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Bill Bumgarner (bbum)
Assigned to: Nobody/Anonymous (nobody)
Summary: configure ignores --mandir

Initial Comment:
Actually, Makefile.in (in various places) ignores the 
--mandir configuration option to configure.

As such, man pages are always installed under 
$(PREFIX)/man regardless of what the user 
specifies.

(I have noticed that an awful lot of GNU packages 
have a similar bug.  Yet, a few BSD derived 
operating systems like man pages to be installed 
in /usr/local/share/man/)

b.bum


----------------------------------------------------------------------

>Comment By: Guido van Rossum (gvanrossum)
Date: 2001-08-01 06:30

Message:
Logged In: YES 
user_id=6380

I'm not sure who's to blame.  I've never even heard of
--mandir.  Unclear whether it's a bug.  If someone feels
like fixing this, let them go ahead, but I don't see this as
a priority unless you provide a good motivating example as
to why you would need this.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=105470&aid=446671&group_id=5470