diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..59dc76d
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,13 @@
+*.cmi
+*.cmo
+*.cma
+*.cmx
+*.cmxa
+*.top
+*.o
+*.a
+._bcdi/
+._ncdi/
+._d/
+cpdf
+*.annot