diff options
Diffstat (limited to 'doc/README.dev')
| -rw-r--r-- | doc/README.dev | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/README.dev b/doc/README.dev index 9cb3a32f3..265595908 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -1572,3 +1572,9 @@ and if everything is OK (no error messages), commit both files. Update the FAQ.html file with update-faq in the doc directory of the MPFR trunk and supported branches. + +=========================================================================== + +Spelling: + * Some suggestions: https://gcc.gnu.org/codingconventions.html#Spelling + * Check with "codespell" (done by mpfrlint). |