[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 5/5] doc: remove the --report=look-aheads alias
From: |
Akim Demaille |
Subject: |
[PATCH 5/5] doc: remove the --report=look-aheads alias |
Date: |
Sun, 7 Jul 2019 08:12:17 +0200 |
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 },
--
2.22.0