From 7e3bd50fe6f0edef04a6a5b7498eef7f41f60bca Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Mon, 19 Feb 2024 21:49:48 +0100
Subject: [PATCH] chore: Add .docs-build to .gitignore to allow switching
 branches easily

This is only used on the latest main branch, but switching to release branches
is annoying otherwise.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 7bfb879c9..49b3be51b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ coverage
 .hpc
 loadtest
 .history
+.docs-build