Checking patch manual/terminal.texi...
error: while searching for:
descriptor is and how to open a file descriptor for a terminal device.

@menu
* Is It a Terminal::            How to determine if a file is a terminal
			         device, and what its name is.
* I/O Queues::                  About flow control and typeahead.

error: patch failed: manual/terminal.texi:13
error: manual/terminal.texi: patch does not apply