From 88becff73ee0dda06c948273891fa609390fc538 Mon Sep 17 00:00:00 2001
From: Richard Jones <rjones@trick.home.annexia.org>
Date: Tue, 26 May 2009 12:44:47 +0100
Subject: [PATCH] Git ignore and other build fixes for git.

---
 .cvsignore         |  9 ---------
 .depend            |  3 +++
 .gitignore         | 18 ++++++++++++++++++
 mmalloc/.cvsignore |  5 -----
 4 files changed, 21 insertions(+), 14 deletions(-)
 delete mode 100644 .cvsignore
 create mode 100644 .gitignore
 delete mode 100644 mmalloc/.cvsignore

diff --git a/.cvsignore b/.cvsignore
deleted file mode 100644
index 9e75e4a..0000000
--- a/.cvsignore
+++ /dev/null
@@ -1,9 +0,0 @@
-*.cmi
-*.cmo
-*.cmx
-*.cma
-*.cmxa
-*.opt
-META
-ancient-*.tar.gz
-dictionary.data
diff --git a/.depend b/.depend
index c46008f..49a6579 100644
--- a/.depend
+++ b/.depend
@@ -1,5 +1,8 @@
+ancient.cmi: 
 ancient.cmo: ancient.cmi 
 ancient.cmx: ancient.cmi 
+ocaml_version.cmo: 
+ocaml_version.cmx: 
 test_ancient_dict_read.cmo: ancient.cmi 
 test_ancient_dict_read.cmx: ancient.cmx 
 test_ancient_dict_verify.cmo: ancient.cmi 
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..633b001
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,18 @@
+*~
+*.cmi
+*.cmo
+*.cmx
+*.cma
+*.cmxa
+*.opt
+*.a
+*.o
+*.so
+META
+ancient-*.tar.gz
+dictionary.data
+mmalloc/Makefile
+mmalloc/autom4te.cache
+mmalloc/config.cache
+mmalloc/config.log
+mmalloc/config.status
\ No newline at end of file
diff --git a/mmalloc/.cvsignore b/mmalloc/.cvsignore
deleted file mode 100644
index c166791..0000000
--- a/mmalloc/.cvsignore
+++ /dev/null
@@ -1,5 +0,0 @@
-Makefile
-autom4te.cache
-config.cache
-config.log
-config.status
\ No newline at end of file
-- 
1.8.3.1