diff options
| author | Erik Martin-Dorel | 2018-12-20 16:31:39 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2018-12-20 19:38:50 +0100 |
| commit | 036e10fc07ca816e9c0587e2bde55a2928c37388 (patch) | |
| tree | 9212f981923432d85ca439418da0d623b18b1b36 | |
| parent | 6fd03806214dccc7b54915da32299b9d6e64e5c7 (diff) | |
Add .dockerignore (partly whitelist-based, partly like .gitignore)
| -rw-r--r-- | .dockerignore | 36 |
1 files changed, 36 insertions, 0 deletions
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 |