Mail Archives: djgpp/1998/08/04/03:03:39
On 4 Aug 1998, Martin Str|mberg wrote:
> Eli Zaretskii (eliz AT is DOT elta DOT co DOT il) wrote:
> : DJGPP usually follows the GNU organization, and there man is under
> : ${prefix}/share/. It is customary with DJGPP builds to set ${prefix} to
> : be %DJDIR%, thus the above recommendation.
>
> ? Where have you seen that?
At some point, all configure scripts where defaulting to
${prefix}/share/man. But it seems they have abandoned that, and I didn't
keep up. Sorry for misinformation.
> Linux is also GNU and there the man pages are below man.
No, Linux is *not* GNU. They just use a lot of GNU software, but it
doesn't mean the directory hierarchy is identical.
- Raw text -