Mail Archives: djgpp/1998/08/03/09:58:23
On 3 Aug 1998, Ruiter de M wrote:
> Eli Zaretskii (eliz AT is DOT elta DOT co DOT il) wrote:
> > There's no djgpp/man. If you at all have a man directory, it should
> > be in djgpp/share/man.
>
> Why? I find %DJDIR%/man as reasonable, with %DJDIR% mimicing the UNIX'
> standard prefix (/usr/local).
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.
> I think man-pages should not be in the Info dir. Man in man, Info in
> info.
I agree that it's a good idea, but try to enforce it on everybody who
ports packages to DJGPP...
- Raw text -