From d233a2e314eb03c31962f7830e8279ffaa4a4054 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 7 Jul 2019 08:01:55 +0200 Subject: [PATCH] doc: remove the --report=look-aheads alias Years ago we moved from 'look-ahead' to 'lookahead', and that alias was kept for backward compatibility. But now that we use argmatch to generate the documentation, that value clutters the doc. * src/getargs.c (argmatch_report_args): Remove the --report=look-aheads alias. --- src/getargs.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/getargs.c b/src/getargs.c index f2585114..d1d4eccc 100644 --- a/src/getargs.c +++ b/src/getargs.c @@ -220,7 +220,6 @@ static const argmatch_report_arg argmatch_report_args[] = { "states", report_states }, { "itemsets", report_states | report_itemsets }, { "lookaheads", report_states | report_lookahead_tokens }, - { "look-ahead", report_states | report_lookahead_tokens }, { "solved", report_states | report_solved_conflicts }, { "all", report_all }, { NULL, report_none },