Patch for Help - Gettingstarted and GUImenus xml files

[Christian Stimming]

Am Dienstag, 16. November 2010 schrieb Cristian Marchi:
> I'm not able to apply the patches to my local copy due to my lack of
> knowledge. I noticed that the heading of files is different from what
> I'm accostumed to.
> Normally I use the command "patch -po < filename" from the right path.
> Can you apply yourself these patches and point me to some documentation
> to learn how to apply them?

It should be possible to use these patches also with "patch -p0" (that's a 
zero, not an "o", right?) even though the files contain an additional header. 
The numbering in the file name gives you the order by which they can be 
applied. Those files are generated from a local git repository.

Regards,

Christian