mv missing destination operand message

[Karl Berry]

I don't know if you want to make this tiny change, but:

$ mv foo
mv: missing destination file operand after `/u/karl/tmp/paper.ltx'

The destination operand doesn't have to be a file, it is often a
directory.  So I suggest deleting "file".  Not that I will argue if you
decide not to :).

karl