Mail Archives: djgpp/1998/08/03/08:00:48
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). (%DJDIR%/share and %DJDIR%/lang don't
fit in that scheme.)
> All DJGPP packages that I know install man pages into the info directory,
> so you should be just fine without the special man directory.
I think man-pages should not be in the Info dir. Man in man, Info in
info.
> Seems like the GCC 2.8.x distribution. If so, then this is wrong.
> DJGPP.ENV sets things up to have man under share,
If you follow the instructions in (man12[sb].zip)README, that is. It
is not in the standard DJGPP.ENV (yet).
> so that's how the packages should install their man pages: either in
> %DJDIR%/share/man or in %DJDIR%/info.
--
Groeten, Michel. http://www.cs.vu.nl/~mdruiter
____________
\ /====\ / "You know, Beavis, you need things that suck,
\/ \/ to have things that are cool", Butt-Head.
- Raw text -