diff --git a/Documentation.html b/Documentation.html index 081abd21c..e7880a919 100644 --- a/Documentation.html +++ b/Documentation.html @@ -4348,7 +4348,7 @@ chmod o+rwx tmp
  • add your stuff
  • generate patch with your changes: - git diff > xxx.diff
    + git diff > xxx.diff
  • submit your patch via the patch