From f04b4487de5f09be4961f45fe43454b403aca3b2 Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Mon, 3 Jun 2019 21:03:22 -0400 Subject: Add documentation for -bfs/-dfs/-ids --- parse.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'parse.c') diff --git a/parse.c b/parse.c index 2a8bfef..3c1a3dd 100644 --- a/parse.c +++ b/parse.c @@ -2506,7 +2506,11 @@ static struct expr *parse_help(struct parser_state *state, int arg1, int arg2) { cfprintf(cout, " ${cyn}-D${rs} ${bld}FLAG${rs}\n"); cfprintf(cout, " Turn on a debugging flag (see ${cyn}-D${rs} ${bld}help${rs})\n"); cfprintf(cout, " ${cyn}-O${rs}${bld}N${rs}\n"); - cfprintf(cout, " Enable optimization level ${bld}N${rs} (default: 3)\n\n"); + cfprintf(cout, " Enable optimization level ${bld}N${rs} (default: 3)\n"); + cfprintf(cout, " ${cyn}-bfs${rs}\n"); + cfprintf(cout, " ${cyn}-dfs${rs}\n"); + cfprintf(cout, " ${cyn}-ids${rs}\n"); + cfprintf(cout, " Use ${cyn}b${rs}readth-${cyn}f${rs}irst/${cyn}d${rs}epth-${cyn}f${rs}irst/${cyn}i${rs}terative ${cyn}d${rs}eepening ${cyn}s${rs}earch (default: ${cyn}-bfs${rs})\n\n"); cfprintf(cout, "${bld}Operators:${rs}\n\n"); -- cgit v1.2.3