Richard Stallman <rms@gnu.org> writes:

> You can apply a patch by running
>   patch < patchfile
> in the directory where the source files to be patched are found.

Thanks.

-- 
Thierry