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]]);