Carsten Dominik <[EMAIL PROTECTED]> writes:
> Hi everyone,
>
> I'd be happy to change the default to
>
>infodir = $(prefix)/share/info
>
>
> if this is a better default for most systems. Is it better? So could
> people on different systems out there please check where the standard
> info dir
Richard Riley <[EMAIL PROTECTED]> writes:
> Xiao-Yong Jin <[EMAIL PROTECTED]> writes:
>
>> Richard Riley <[EMAIL PROTECTED]> writes:
>>
>>> Bernt Hansen <[EMAIL PROTECTED]> writes:
>>>
On three systems I have access to the info files are in /usr/share/info
- Debian
- FreeBS
Hi,
On my Mac OS X (10.5.5) system, /usr/share/info looks like the
directory with all the info files. Since I use MacPorts, I usually
add the org-info file to /opt/local/share/info so the suggested change
is slightly more convenient in that case, too.
HTH,
Ben
Carsten Dominik <[EMAI
Xiao-Yong Jin <[EMAIL PROTECTED]> writes:
> Richard Riley <[EMAIL PROTECTED]> writes:
>
>> Bernt Hansen <[EMAIL PROTECTED]> writes:
>>
>>> On three systems I have access to the info files are in /usr/share/info
>>>
>>> - Debian
>>> - FreeBSD
>>> - Ubuntu
>>
>> Debian and Ubuntu should be the
Richard Riley <[EMAIL PROTECTED]> writes:
> Bernt Hansen <[EMAIL PROTECTED]> writes:
>
>> On three systems I have access to the info files are in /usr/share/info
>>
>> - Debian
>> - FreeBSD
>> - Ubuntu
>
> Debian and Ubuntu should be the same I would think since Ubunti is
> Debian based.
>
>
Richard Riley <[EMAIL PROTECTED]> writes:
> Bernt Hansen <[EMAIL PROTECTED]> writes:
>
>> On three systems I have access to the info files are in /usr/share/info
>>
>> - Debian
>> - FreeBSD
>> - Ubuntu
>
> Debian and Ubuntu should be the same I would think since Ubunti is
> Debian based.
Ye
Bernt Hansen <[EMAIL PROTECTED]> writes:
> On three systems I have access to the info files are in /usr/share/info
>
> - Debian
> - FreeBSD
> - Ubuntu
Debian and Ubuntu should be the same I would think since Ubunti is
Debian based.
But there is an org which ships with emacs. I would expect
On three systems I have access to the info files are in /usr/share/info
- Debian
- FreeBSD
- Ubuntu
-Bernt
Carsten Dominik <[EMAIL PROTECTED]> writes:
> Hi everyone,
>
> I'd be happy to change the default to
>
>infodir = $(prefix)/share/info
>
>
> if this is a better default for most