From 14cde83826a7eaa7702c2032770753b3759b5381 Mon Sep 17 00:00:00 2001
From: Ben Sturmfels <ben@sturm.com.au>
Date: Mon, 5 Apr 2021 22:09:15 +1000
Subject: [PATCH] Ignore some generated files during docker build.

---
 .dockerignore | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.dockerignore b/.dockerignore
index b87e6ef8..31b0f398 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,7 +1,13 @@
 # This helps to reduce the size of the Docker build context and to avoid
 # including potentially sensitive files.
+#
+# .git is needed during bootstrap.sh
 bin
 lib
 lib64
 node_modules
 user_dev
+.tox
+dist
+docs/build
+.pytest_cache