issue with ports

[David Taylor]

On Fri, 23 May 2003, Andrew J Caines wrote:
> > make index already takes care of INDEX, unfortunately, instead of keeping
> > around the old copy unless index making succeeds.
> 
> I've never seen "make index" fail, so I doubt this is significant. I'm all
> in favour of preserving data for recovery in case of failure, but in this
> case wouldn't a filed "make index" imply that INDEX is/was inaccurate?

I've never seen "make index" _succeed_ on my computer, since I started
running it.  I think I've probably got something stale lying around
somewhere, but I can't seem to find what it is.

-- 
David Taylor
davidt at yadt.co.uk
"The future just ain't what it used to be"