diff --git a/.gitignore b/.gitignore index 461031e0b..72646e979 100644 --- a/.gitignore +++ b/.gitignore @@ -20,4 +20,5 @@ CMakeFiles/ .coveralls.yml .lean_options doc/html -make.deps \ No newline at end of file +make.deps +src/emacs/dependencies