Ignore some file types.

diff --git a/.gitignore b/.gitignore
index 0a6edb985588b9bde80c5827bae7a0e5400e88a6..d298f9fb20a5d1e91e7af35f38f5bf0bdaa56f14 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,9 @@ Data.xml
 family.gno
 
 *~
+*.o
+.dirstamp
+m4
+doc/html
+doc/latex
+doc/man