Patches item #1411015, was opened at 01/20/06 10:25 Message generated for change (Comment added) made by sf-robot You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=478072&aid=1411015...
Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: puredata Group: documentation
Status: Closed
Resolution: Works For Me Priority: 4 Submitted By: Rowan Thorpe (rowanthorpe) Assigned to: Nobody/Anonymous (nobody) Summary: Manpages aren't installed to FHS-friendly location
Initial Comment: The manpages aren't installed to FHS-friendly location By default, pd tries to install manpages to ${PREFIX}/man, but it seems ${PREFIX}/share/man makes more (FHS) sense these days? The pages "disappeared" on my gentoo linux system, because they ended up in "/usr/usr/share/man" (!) because of this.. I attached a very simple patch that changes the configure script..
BTW: I accidentally posted this patch to the "bugs" section (and anonymously..oops) because I am not familiar with sourceforge. Please delete the relevant post from there.. (# 1410984)
----------------------------------------------------------------------
Comment By: SourceForge Robot (sf-robot)
Date: 02/03/06 19:20
Message: Logged In: YES user_id=1312539
This Tracker item was closed automatically by the system. It was previously set to a Pending status, and the original submitter did not respond within 14 days (the time period specified by the administrator of this Tracker).
----------------------------------------------------------------------
Comment By: Hans-Christoph Steiner (eighthave) Date: 01/20/06 11:13
Message: Logged In: YES user_id=27104
While I support the "/usr/share/man/" location, this isn't the way to do it. "configure" is automatically generated from "configure.in", so that's the file to edit.
AFAIK, the mandir isn't set manually in "configure.in" or "makefile.in", so it uses the ./configure defaults currently.
at the very least, its currently possible to use "./configure --mandir=/usr/share/man" to get the desired results.
----------------------------------------------------------------------
You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=478072&aid=1411015...