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