From 5aec04f0cca2807731aa0da0cc27a6c113853665 Mon Sep 17 00:00:00 2001
From: Sanchayan Maity <sanchayan@sanchayanmaity.net>
Date: Mon, 19 Dec 2022 11:34:17 +0530
Subject: [PATCH] git/ignore: Ignore GStreamer docs directory

It is annoying when files from docs directory show up in ripgrep
searches.
---
 git/.config/git/ignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/git/.config/git/ignore b/git/.config/git/ignore
index 7ff7f01..fbefef1 100644
--- a/git/.config/git/ignore
+++ b/git/.config/git/ignore
@@ -16,4 +16,6 @@ target
 notes-private.txt
 compile_commands.json
 *ChangeLog*
+*/gst-docs/*
+hotdoc-*
 tut/.config/tut/accounts.toml