Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!cs.utexas.edu!usc!sargas.usc.edu!tli
From: tli@sargas.usc.edu (Tony Li)
Newsgroups: comp.windows.x
Subject: Minor xman bug
Message-ID: <21157@usc.edu>
Date: 11 Nov 89 23:40:04 GMT
Sender: news@usc.edu
Reply-To: tli@sargas.usc.edu ()
Organization: University of Southern California, Los Angeles, CA
Lines: 13

Configuration: Sun4, SunOS 4.0.3, MIT patches 1-10

When xman traverses the MANPATH, it doesn't deal with duplicates
correctly.  Suppose that MANPATH is
/usr/public/X11/man:/usr/public/man, and that man pages
/usr/public/X11/man/man1/X.1 and /usr/public/man/man1/X.1 exist.  xman
will select /usr/public/man/man1/X.1, which is inconsistent with the
way most other man commands work.

Tony Li - USC University Computing Services
Internet: tli@usc.edu	Uucp: usc!tli	Bitnet: tli@gamera, tli@ramoth
This is a test.  This is a only a test.  In the event of a real life
you would have been given instructions.