# HG changeset patch
# User Michael Albinus <michael.albinus@gmx.de>
# Date 1085870680 0
# Node ID d87f8236b6fd6313eb8efb1dc15cce97696bcb16
# Parent  aed680fa845d779e2b89d49e342c7e7aae1ca809
files.texi (Magic File Names): Add `file-remote-p' as operation
of file name handlers.

diff -r aed680fa845d -r d87f8236b6fd lispref/files.texi
--- a/lispref/files.texi	Sat May 29 22:43:24 2004 +0000
+++ b/lispref/files.texi	Sat May 29 22:44:40 2004 +0000
@@ -2493,7 +2493,7 @@
 @code{file-attributes},
 @code{file-directory-p},
 @code{file-executable-p}, @code{file-exists-p},
-@code{file-local-copy},
+@code{file-local-copy}, @code{file-remote-p},
 @code{file-modes}, @code{file-name-all-completions},
 @code{file-name-as-directory},
 @code{file-name-completion},
@@ -2537,7 +2537,7 @@
 @code{file-attributes},
 @code{file-direct@discretionary{}{}{}ory-p},
 @code{file-executable-p}, @code{file-exists-p},
-@code{file-local-copy},
+@code{file-local-copy}, @code{file-remote-p},
 @code{file-modes}, @code{file-name-all-completions},
 @code{file-name-as-directory},
 @code{file-name-completion},
@@ -2645,8 +2645,7 @@
 @end defun
 
 @defun file-remote-p filename
-This function returns @code{t} if @var{filename} is a remote file---that is,
-a magic file name that handles @code{file-local-copy}.
+This function returns @code{t} if @var{filename} is a remote file.
 @end defun
 
 @defun unhandled-file-name-directory filename