From f04b4487de5f09be4961f45fe43454b403aca3b2 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Mon, 3 Jun 2019 21:03:22 -0400
Subject: Add documentation for -bfs/-dfs/-ids

---
 bfs.1   | 14 ++++++++++++++
 parse.c |  6 +++++-
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/bfs.1 b/bfs.1
index 69f22f9..21ef243 100644
--- a/bfs.1
+++ b/bfs.1
@@ -142,6 +142,20 @@ optimizations, plus re-order expressions to reduce expected cost.
 \fB\-O\fI4\fR/\fB\-O\fIfast\fR
 All optimizations, including aggressive optimizations that may alter the observed behavior in corner cases.
 .RE
+.PP
+.B \-bfs
+.br
+.B \-dfs
+.br
+.B \-ids
+.RS
+Use
+.BR b readth- f irst/ d epth- f irst/ i terative
+.BR d eepening
+.BR s earch
+(default:
+.BR -bfs ).
+.RE
 .SH OPERATORS
 .TP
 \fB( \fIexpression \fB)\fR
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