Hi,
here's another one. I went to some directory
(/usr/src/gnu/usr.bin/cc/f77doc in this case) which was just checked
out. Then I produced the three files below, did this and that, and
deleted them again. And at some point after that the system somehow got
confused about whether they are deleted or not. Here's what I have now
(a difference between ls and ls -l):
zoot# ls
g77.info g77.info.gz texinfo.tex
zoot# ls -l
ls: g77.info: No such file or directory
ls: g77.info.gz: No such file or directory
ls: texinfo.tex: No such file or directory
Sascha
--
http://yoyodyne.ath.cx