xdvi script - minor bug

[Gregory Borota]

> Gregory Borota writes:
> 
> 
>>Should be:
>>exec xdvi.bin $NAMEOPT ${1+"$@"}
> 
> 
> Thanks.  I'll forward it upstream, this will be fixed in the next
> release.
> 
> Jan.

Well, another thing that might be fixed is to allow dvi files to be 
renamed even while they are displayed. At present one could only copy 
into the file but not "move into". I find that quite weird. Here is what 
I mean:

$ xdvi file.dvi &

$ cp otherfile.dvi file.dvi

That works!

$ mv otherfile.dvi file.dvi

mv: cannot create regular file `file.dvi': Permission denied


It might be related to the fact that F_SETOWN is not implemented under 
Cygwin.

fcntl F_SETOWN (xdvi): Invalid argument

Thanks,
Greg