# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1000486459 0
# Node ID 5f4f6cf4a868f1f476af4dbf25d9b6833496931b
# Parent  657b4f66d4de5dfc0524711f3a12e2aa064a543d
(File Attributes): Document that the device number can also be a cons cell.

diff -r 657b4f66d4de -r 5f4f6cf4a868 lispref/files.texi
--- a/lispref/files.texi	Fri Sep 14 16:50:25 2001 +0000
+++ b/lispref/files.texi	Fri Sep 14 16:54:19 2001 +0000
@@ -1104,8 +1104,10 @@
 holds the low 16 bits.
 
 @item
-The file system number of the file system that the file is in.  This
-element and the file's inode number together give enough information to
+The file system number of the file system that the file is in.
+Depending on the magnitude of the value, this can be either an integer
+or a cons cell, in the same manner as the inode number.  This element
+and the file's inode number together give enough information to
 distinguish any two files on the system---no two files can have the same
 values for both of these numbers.
 @end enumerate