diff options
| -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 d75471cb29..25bfe5a7bc 100644 --- a/doc/developer.texi +++ b/doc/developer.texi @@ -314,7 +314,7 @@ send a reminder by email. Your patch should eventually be dealt with. @enumerate @item - Do the regression tests pass with the patch applied? + Does @code{make fate} pass with the patch applied? @item Does @code{make checkheaders} pass with the patch applied? @item |