user-manual: use pithier example commit

diff --git a/Documentation/SubmittingPatches b/Documentation/SubmittingPatches
index 1ba9041b5b33d8830d5adf60e67e0f8ee9e48b3d..b94d9a816664333e0b1767c22d1639b8839cee24 100644 (file)
--- a/Documentation/SubmittingPatches
+++ b/Documentation/SubmittingPatches
@@ -30,6 +30,9 @@ Checklist (and a short version for the impatient):
        - provide additional information (which is unsuitable for
          the commit message) between the "---" and the diffstat
        - send the patch to the list _and_ the maintainer
+       - if you change, add, or remove a command line option or
+         make some other user interface change, the associated
+         documentation should be updated as well.
 
 Long version: