From 036e10fc07ca816e9c0587e2bde55a2928c37388 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 20 Dec 2018 16:31:39 +0100
Subject: Add .dockerignore (partly whitelist-based, partly like .gitignore)

---
 .dockerignore | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 .dockerignore

(limited to '.dockerignore')

diff --git a/.dockerignore b/.dockerignore
new file mode 100644
index 0000000..82209d9
--- /dev/null
+++ b/.dockerignore
@@ -0,0 +1,36 @@
+*
+# Begin files referenced by symlinks
+!README.md
+!AUTHORS
+!INSTALL.md
+!CeCILL-B
+# End files referenced by symlinks
+!*.opam
+!plugin
+!mathcomp
+
+**/*.d
+**/*.vo
+**/*.vio
+**/*.cm*
+**/*~
+**/*.glob
+**/*.aux
+**/*.a
+**/*.o
+**/*#
+**/Make*.coq
+**/Make*.coq.bak
+**/Make*.coq.conf
+mathcomp/ssreflect/ssreflect.ml4
+mathcomp/ssreflect/ssrmatching.ml4
+mathcomp/ssreflect/ssrmatching.mli
+# mathcomp/ssreflect/ssrmatching.v
+mathcomp/ssreflect/ssreflect_plugin.mllib
+mathcomp/ssreflect/ssreflect_plugin.mlpack
+mathcomp/ssreflect.ml4
+mathcomp/ssrmatching.ml4
+mathcomp/ssrmatching.mli
+mathcomp/ssrmatching.v
+mathcomp/ssreflect_plugin.mllib
+mathcomp/ssreflect_plugin.mlpack
-- 
cgit v1.2.3