1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 316009b8..7a0c156b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,7 @@
 dist
 cabal-dev
+*.aux
+*.eventlog
+*.hp
+*.pdf
+*.ps

diff --git a/.gitignore b/.gitignore index 316009b8..7a0c156b 100644 --- a/.gitignore +++ b/.gitignore
@@ -1,2 +1,7 @@
1	dist	1	dist
2	cabal-dev	2	cabal-dev
		3	*.aux
		4	*.eventlog
		5	*.hp
		6	*.pdf
		7	*.ps