From 0016473117e4bc3c8959bf2fd49368844847d74c Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@pobox.com>
Date: Thu, 24 Jun 2010 08:45:28 -0700
Subject: [PATCH] Add more ignorable build artifacts.

---
 .gitignore | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.gitignore b/.gitignore
index c7d56e16dae..153f5f90bb0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,11 +2,25 @@
 *.x86
 *.llvm
 *.out
+*.cmx
+*.dll
 *.exe
 *.orig
 *.cmo
 *.cmi
 *.d
 *.o
+*.aux
+*.cp
+*.fn
+*.ky
+*.log
+*.pdf
+*.html
+*.pg
+*.toc
+*.tp
+*.vr
 .hg/
 .hgignore
+lexer.ml