Makefile: `ghci' and `tags' targets

[mate.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c5f7ddd0280912a7c6fb202b3ff964d23e9a9567..2b7951a44e1f421ec6eb625c73d27e78fb271dcf 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 *.o
 *.class
 mate
+mate.static
 mate.dbg
 tags
 *.swp