Mail Archives: djgpp/2001/07/02/16:09:07
> From: Jason Hood <adoxa AT postmark DOT net>
> Newsgroups: comp.os.msdos.djgpp
> Date: Tue, 03 Jul 2001 02:09:44 +1000
>
> After having installed GLOBAL, I was wondering if 'man' should use
> 'mandoc' as default instead of 'man'?
I don't think so. Why would we need that? You can always run Groff
with whatever switches you want, can't you?
In any case, GLOBAL should come with formatted man pages, so you
shouldn't worry about mandoc.
> If so, I'd be willing to make the change and upload the new version.
I'm still maintaining `man', so if you want to suggest changes, please
send the diffs to me, or post them here.
> While I'm at it, I'll change 'manpath' to use "/dev/env/DJDIR"
> instead of "c:/djgpp".
What for? DJGPP.ENV already does set MANPATH to the equivalent of
"/dev/env/DJDIR", and without DJGPP.ENV /dev/env/DJDIR will not work
anyway.
The default value encoded in the source is a fallback, for the case
that DJGPP is not installed, and somebody uses `man' as an isolated
utility. In that case, /dev/env/DJDIR won't work.
- Raw text -