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
