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