]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #11040 - epage:confusion, r=ehuss
authorbors <bors@rust-lang.org>
Thu, 1 Sep 2022 00:00:35 +0000 (00:00 +0000)
committerbors <bors@rust-lang.org>
Thu, 1 Sep 2022 00:00:35 +0000 (00:00 +0000)
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).


Trivial merge