Stop tracking docs/build

This commit is contained in:
Dominik Moritz Roth 2024-02-10 15:53:08 +01:00
parent e6d00854b2
commit 06409a4c05

4
.gitignore vendored
View File

@ -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/