On Apr 7, 2014, at 7:20 AM, Mojca Miklavec wrote:
> Hi,
>
> I see that mysql55 for example installs man pages to
>$prefix/share/man/mysql55/man1/*.1.gz
> where they are not really functional.
>
> Is that a proper place for these files? / Is there any better place?
In the case of mysql55 an
On Mon, Apr 7, 2014 at 10:44 AM, Brandon Allbery wrote:
> On Mon, Apr 7, 2014 at 10:40 AM, Mojca Miklavec wrote:
>
>> It probably wouldn't be such a bad idea to create a script
>> $prefix/bin/-init.sh which would prepend
>> $prefix/libexec// to PATH. Or maybe simply create a
>> script like $prefix
On Mon, Apr 7, 2014 at 10:40 AM, Mojca Miklavec wrote:
> On Mon, Apr 7, 2014 at 4:22 PM, Brandon Allbery wrote:
> > On Mon, Apr 7, 2014 at 10:20 AM, Mojca Miklavec wrote:
> >> I see that mysql55 for example installs man pages to
> >> $prefix/share/man/mysql55/man1/*.1.gz
> >> where they are n
On Mon, Apr 7, 2014 at 4:22 PM, Brandon Allbery wrote:
> On Mon, Apr 7, 2014 at 10:20 AM, Mojca Miklavec wrote:
>>
>> I see that mysql55 for example installs man pages to
>> $prefix/share/man/mysql55/man1/*.1.gz
>> where they are not really functional.
>>
>> Is that a proper place for these fil
Hi,
I see that mysql55 for example installs man pages to
$prefix/share/man/mysql55/man1/*.1.gz
where they are not really functional.
Is that a proper place for these files? / Is there any better place?
We are discussing where to best store man pages when multiple versions
of the same program
On Mon, Apr 7, 2014 at 10:20 AM, Mojca Miklavec wrote:
> I see that mysql55 for example installs man pages to
> $prefix/share/man/mysql55/man1/*.1.gz
> where they are not really functional.
>
> Is that a proper place for these files? / Is there any better place?
>
If you arrange for them to