summaryrefslogtreecommitdiff
path: root/doc/developer.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/developer.texi')
-rw-r--r--doc/developer.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer.texi b/doc/developer.texi
index cf805288bf..0432889585 100644
--- a/doc/developer.texi
+++ b/doc/developer.texi
@@ -319,7 +319,7 @@ send a reminder by email. Your patch should eventually be dealt with.
@enumerate
@item
- Does fate pass with the patch applied? (make fate)
+ Does 'make fate' pass with the patch applied?
@item
Was the patch generated with git format-patch or send-email?
@item