mv(1) man page omission: when stdin isn't a terminal

The mv(1) man page doesn't mention what mv(1) will do when stdin isn't a terminal, as descibed in mv.c, lines 165-177.

Posting here because I'm not subscribed to any other lists.


Stu