diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/developer.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer.texi b/doc/developer.texi index 6bfbbba523..ca8f9cab11 100644 --- a/doc/developer.texi +++ b/doc/developer.texi @@ -327,7 +327,7 @@ send a reminder by email. Your patch should eventually be dealt with. @enumerate @item - Does 'make fate' pass with the patch applied? + Does @code{make fate} pass with the patch applied? @item Was the patch generated with git format-patch or send-email? @item |