On Wed, 11 Dec 2002, Andreas Metzler wrote:
> Now substitute CONFIGURE_FILE_USE_NODE with /etc/blah:/etc/foo
> 05 will never hit. 11 will always fail.
Thanks. I had a feeling that this change would bring trouble... Luckily,
I don't think many people (any people?) use CONFIGURE_FILE_USE_NODE.
--
Philip Hazel University of Cambridge Computing Service,
ph10@??? Cambridge, England. Phone: +44 1223 334714.