diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..db47ad70e9608afa590a8bd9f84e112b8d57b752
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+*.vo
+*.v.d
+*.glob
diff --git a/lib/recdom/.dir-locals.el b/lib/recdom/.dir-locals.el
new file mode 100644
index 0000000000000000000000000000000000000000..82ea871da38b04b9047cb5afdf61bf7b5063c320
--- /dev/null
+++ b/lib/recdom/.dir-locals.el
@@ -0,0 +1,8 @@
+;;; Directory Local Variables
+;;; See Info node `(emacs) Directory Variables' for more information.
+
+((coq-mode
+  (coq-load-path
+   (rec "./" "RecDom"))))
+
+