file weirdness

[Sascha Wildner <saw@xxxxxxxxx>]

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