From ccaabbc0d4efe14598ab32e68e8a61f298a457a7 Mon Sep 17 00:00:00 2001
From: Jesse Vincent <jesse@keyboard.io>
Date: Wed, 17 Mar 2021 10:45:27 -0700
Subject: [PATCH] Ignore the docs/plugins dir which hosts copied plugin docs at
 build time

---
 .gitignore                            | 1 +
 docs/plugins/.this_dir_is_git_ignored | 0
 2 files changed, 1 insertion(+)
 create mode 100644 docs/plugins/.this_dir_is_git_ignored

diff --git a/.gitignore b/.gitignore
index 92a7ab44..211de249 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@
 /output/
 /examples/*/output/
 /out/
+/docs/plugins
 /docs/generated
 /docs/doxyoutput
 /docs/api
diff --git a/docs/plugins/.this_dir_is_git_ignored b/docs/plugins/.this_dir_is_git_ignored
new file mode 100644
index 00000000..e69de29b