From ffaf4b119e1717a9ffb821a0e8da67d4f53d9208 Mon Sep 17 00:00:00 2001
From: Ed Page <eopage@gmail.com>
Date: Wed, 31 Aug 2022 16:11:36 -0500
Subject: [PATCH] chore: Don't show genned docs in ripgrep

The goal is to help new (and existing) users more quickly find the
appropriate files to edit (like in #11033).  The main downside is for
someone trying to find output to verify what it looks like, a simple
search won't turn up results but there are other ways around that
(`--no-ignore`, `git status` after doing a man generation, etc).
---
 .ignore | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 .ignore

diff --git a/.ignore b/.ignore
new file mode 100644
index 000000000..65290aeab
--- /dev/null
+++ b/.ignore
@@ -0,0 +1,6 @@
+# Output generated from src/doc/man
+#
+# The goal is to help people find the right file to edit
+src/doc/man/generated_txt
+src/doc/src/commands
+src/etc/man