Checking patch manual/filesys.texi...
error: while searching for:
@pindex sys/stat.h
@end deftypefun

@node File Attributes
@section File Attributes


error: patch failed: manual/filesys.texi:1880
error: manual/filesys.texi: patch does not apply