From 15a184288bc788fa1feb7f9c331adef1307fa429 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Mon, 19 Feb 2024 21:48:46 +0100
Subject: [PATCH] chore: Add docs/_build to .gitignore again to allow switching
 to old release branches easily

---
 docs/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/.gitignore b/docs/.gitignore
index 73dceabf77..f0ad786fbc 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1,3 +1,4 @@
+_build
 Pipfile.lock
 *.aux
 *.log