[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