Re: (info browser) Should any default directories be used when INFOPATH is set?

[Karl Berry]

    none of them particularly nice. 

Agreed.

    Maybe you could specify "NODEFAULT" as one of the directories

That feature of derivation-from-PATH is so bizarre and unlike anything
else, extending it for other purposes seems even uglier than a second
envvar to me.

Here's another idea: a command-line option (for convenience in the
tests) and .infokey variable (for convenience for users), e.g.,
--infopath-no-default
infopath-no-default

    This is no good, I know.)

Right, extra colons aren't the way to go.

k