Git ignore and other build fixes for git.

diff --git a/.cvsignore b/.cvsignore
deleted file mode 100644 (file)
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 (file)
--- 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 (file)
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 (file)
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