From 06409a4c05a28813d9b73979b399f36eb0f300be Mon Sep 17 00:00:00 2001
From: Dominik Roth <dominik.roth.dev@gmail.com>
Date: Sat, 10 Feb 2024 15:53:08 +0100
Subject: [PATCH] Stop tracking docs/build

---
 .gitignore | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index e805dc1..e6ea8d1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -115,7 +115,3 @@ MUJOCO_LOG.TXT
 
 # vscode
 .vscode
-
-# Push HTML of docs to GitHub
-# Could be solved via a GitHub Action instead in the future, but that would use up compute for ALRhub
-!docs/build/