Page History

...

The easiest way to apply a patch is by using the Linux patch command. For information on what the patch command does and all of its options, take a look at man patch from a Linux machine.

TODO: More detail needed

Wiki MarkupIn general, you most likely will want to run a command _similar_ to the following from your \ [dspace-source\] directory (but see the _Important Hints_ below, before running anything\!):

   patch -p0 < mypatch.txt

...