* files.texi (Kinds of Files): The return value of file-equal-p is