Git: correctly ignore docs build directory (#499)

erlend-aasland · web-flow · commit c413eaffd0e1 · 2024-07-08T12:41:48.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -57,7 +57,7 @@ coverage.xml
 *.log
 
 # Sphinx documentation
-docs/_build/
+doc/_build/
 
 # PyBuilder
 target/
