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/