Re: file-subdir-of-p should also apply to files

[Chong Yidong]

Stefan Monnier <address@hidden> writes:

>> It is not a problem to copy a single file of TREE to a subdirectory of
>> TREE, but it is a problem to copy TREE to one of its subdirectories,
>> isn't it?
>
> We're not talking about copying but about file-subdir-of-p.
> The copy operation only uses file-subdir-of-p with a first argument
> which is a directory, but that doesn't mean we shouldn't also handle
> the case where the first argument is a file (which occurs in some
> places which currently use string-prefix-p).

Good point.

I went ahead and did that, so that the change will be in the next
pretest.  I called the function file-in-directory-p rather than
file-within-p, to match existing file function names more closely.