> I think "integer" is meant instead of "integral". Eg C99 uses "integral" as an adjective meaning "of integers", per 1 b (1) from http://www.merriam-webster.com/dictionary/integral. My googling suggests that the OP's right, though, that the patched would be more widely understood.
-----Original Message----- From: bug-make-bounces+martin.dorey=hds....@gnu.org [mailto:bug-make-bounces+martin.dorey=hds....@gnu.org] On Behalf Of Benno Schulenberg Sent: Monday, May 20, 2013 12:27 To: Benno Schulenberg; psm...@gnu.org; bo...@kolpackov.net; bug-make@gnu.org Subject: [bug #39028] [patch] fix and uniformize four error messages URL: <http://savannah.gnu.org/bugs/?39028> Summary: [patch] fix and uniformize four error messages Project: make Submitted by: bens Submitted on: Mon 20 May 2013 09:27:25 PM CEST Severity: 3 - Normal Item Group: None Status: None Privacy: Public Assigned to: None Open/Closed: Open Discussion Lock: Any Component Version: SCM Operating System: Any Fixed Release: None Triage Status: None _______________________________________________________ Details: One error message says "option requires a positive integral argument", where I think "integer" is meant instead of "integral". Attached patch fixes that, decapitalizes another message, removes an inconsistent period from a third one, and adds two clarifying words to a fourth. _______________________________________________________ File Attachments: ------------------------------------------------------- Date: Mon 20 May 2013 09:27:26 PM CEST Name: 0001-Fix-wording-of-two-error-messages-and-uniformize-two.patch Size: 2kB By: bens <http://savannah.gnu.org/bugs/download.php?file_id=28120> _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?39028> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
