2 Commits

Author	SHA1	Message	Date
Weihang Lo	21dacad02b	chore: exclude hand-written markdowns from .ignore	2024-10-11 09:47:17 -04:00
Ed Page	ffaf4b119e	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).	2022-08-31 16:13:32 -05:00