(Changing Files): copy-file allows dir as NEWNAME.

(Magic File Names): Specify precedence order of handlers.

diff --git a/lispref/files.texi b/lispref/files.texi
index 4082268cd83bdcba4ddc40ef003851a4e9070c1a..c61c9ad11d2b12740a20c3866b51ba34b01a930e 100644 (file)
--- a/lispref/files.texi
+++ b/lispref/files.texi
@@ -1276,7 +1276,9 @@ In an interactive call, this function prompts for @var{filename} and
 
 @deffn Command copy-file oldname newname &optional ok-if-exists time
 This command copies the file @var{oldname} to @var{newname}.  An
-error is signaled if @var{oldname} does not exist.
+error is signaled if @var{oldname} does not exist.  If @var{newname}
+names a directory, it copies @var{oldname} into that directory,
+preserving its final name component.
 
 If @var{time} is non-@code{nil}, then this function gives the new file
 the same last-modified time that the old one has.  (This works on only
@@ -2295,6 +2297,11 @@ this:
 The @var{handler} then needs to figure out whether to handle
 @var{filename} or @var{dirname}.
 
+If the specified file name matches more than one handler, the one
+whose match starts last in the file name gets precedence.  This rule
+is chosen so that handlers for jobs such as uncompression are handled
+first, before handlers for jobs such as remote file access.
+
 Here are the operations that a magic file name handler gets to handle:
 
 @ifnottex