From 9097de9fbcb47c669edbf2c11d8c690c737482b9 Mon Sep 17 00:00:00 2001 From: rfm Date: Mon, 21 Oct 2024 22:12:24 +0100 Subject: [PATCH] If we have an incorrect flag, say what it was. --- Tools/autogsdoc.m | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Tools/autogsdoc.m b/Tools/autogsdoc.m index 360c63fd5..0fc49320d 100644 --- a/Tools/autogsdoc.m +++ b/Tools/autogsdoc.m @@ -853,6 +853,10 @@ main(int argc, char **argv, char **env) { NSArray *args = [argsRecognized allKeys]; + if (![@"help" isEqual: opt]) + { + GSPrintf(stderr, @"Unknown option:\ '%@'\n", opt); + } GSPrintf(stderr, @"Usage:\n"); GSPrintf(stderr, [NSString stringWithFormat: @" %@ [options] [files]\n", [argsGiven objectAtIndex: 0]]);